summaryrefslogtreecommitdiff
path: root/plugins/bookmarklets/init.php
diff options
context:
space:
mode:
authorAndrew Dolgov <[email protected]>2021-11-14 21:14:21 +0300
committerAndrew Dolgov <[email protected]>2021-11-14 21:14:21 +0300
commit5f808051b2bdb2e43f16693ba19b20940944d556 (patch)
treed0da0cd898ba9be39d99f0ff8841c9a5661a7a03 /plugins/bookmarklets/init.php
parentf537502fce498118543d47b3d1cb463104f25b1d (diff)
deal with phpstan warnings in auto_assign_labels and bookmarklets
Diffstat (limited to 'plugins/bookmarklets/init.php')
-rw-r--r--plugins/bookmarklets/init.php7
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;