diff options
Diffstat (limited to 'classes/Plugin.php')
-rw-r--r-- | classes/Plugin.php | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/classes/Plugin.php b/classes/Plugin.php index d941a1616..cc50ae75e 100644 --- a/classes/Plugin.php +++ b/classes/Plugin.php @@ -706,4 +706,11 @@ abstract class Plugin { function hook_loginform_additional_buttons() { user_error("Dummy method invoked.", E_USER_ERROR); } + + /** Returns false if session is considered invalid, true cascades to next handler */ + function hook_validate_session(): bool { + user_error("Dummy method invoked.", E_USER_ERROR); + return false; + } + } |