diff options
Diffstat (limited to 'plugins/bookmarklets')
-rw-r--r-- | plugins/bookmarklets/init.php | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/plugins/bookmarklets/init.php b/plugins/bookmarklets/init.php index 4bd527623..72aeb2c38 100644 --- a/plugins/bookmarklets/init.php +++ b/plugins/bookmarklets/init.php @@ -1,5 +1,7 @@ <?php class Bookmarklets extends Plugin { + + /** @var PluginHost $host */ private $host; function about() { @@ -20,7 +22,7 @@ class Bookmarklets extends Plugin { return in_array($method, ["subscribe", "sharepopup"]); } - function subscribe() { + function subscribe() : void { if (Config::get(Config::SINGLE_USER_MODE)) { UserHelper::login_sequence(); } @@ -171,7 +173,7 @@ class Bookmarklets extends Plugin { } } - function sharepopup() { + function sharepopup() : void { if (Config::get(Config::SINGLE_USER_MODE)) { UserHelper::login_sequence(); } @@ -332,7 +334,6 @@ class Bookmarklets extends Plugin { <?php } - function hook_prefs_tab($args) { if ($args != "prefFeeds") return; |