diff options
author | Andrew Dolgov <[email protected]> | 2021-11-14 21:14:21 +0300 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2021-11-14 21:14:21 +0300 |
commit | 5f808051b2bdb2e43f16693ba19b20940944d556 (patch) | |
tree | d0da0cd898ba9be39d99f0ff8841c9a5661a7a03 /plugins | |
parent | f537502fce498118543d47b3d1cb463104f25b1d (diff) |
deal with phpstan warnings in auto_assign_labels and bookmarklets
Diffstat (limited to 'plugins')
-rwxr-xr-x | plugins/auto_assign_labels/init.php | 7 | ||||
-rw-r--r-- | plugins/bookmarklets/init.php | 7 |
2 files changed, 10 insertions, 4 deletions
diff --git a/plugins/auto_assign_labels/init.php b/plugins/auto_assign_labels/init.php index 84fce8d64..b2e5718ea 100755 --- a/plugins/auto_assign_labels/init.php +++ b/plugins/auto_assign_labels/init.php @@ -11,7 +11,12 @@ class Auto_Assign_Labels extends Plugin { $host->add_hook($host::HOOK_ARTICLE_FILTER, $this); } - function get_all_labels_filter_format($owner_uid) { + /** + * @param int $owner_uid + * @return array<int, array<int, int|string>> + * @throws PDOException + */ + private function get_all_labels_filter_format(int $owner_uid) : array { $rv = array(); // TODO: use Labels::get_all() 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; |