diff options
Diffstat (limited to 'classes')
-rw-r--r-- | classes/Plugin.php | 7 | ||||
-rw-r--r-- | classes/PluginHost.php | 3 |
2 files changed, 10 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; + } + } diff --git a/classes/PluginHost.php b/classes/PluginHost.php index c2d0407d4..e39273672 100644 --- a/classes/PluginHost.php +++ b/classes/PluginHost.php @@ -199,6 +199,9 @@ class PluginHost { /** @see Plugin::hook_loginform_additional_buttons() */ const HOOK_LOGINFORM_ADDITIONAL_BUTTONS = "hook_loginform_additional_buttons"; + /** @see Plugin::hook_validate_session() */ + const HOOK_VALIDATE_SESSION = "hook_validate_session"; + const KIND_ALL = 1; const KIND_SYSTEM = 2; const KIND_USER = 3; |