summaryrefslogtreecommitdiff
path: root/plugins
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
parentf537502fce498118543d47b3d1cb463104f25b1d (diff)
deal with phpstan warnings in auto_assign_labels and bookmarklets
Diffstat (limited to 'plugins')
-rwxr-xr-xplugins/auto_assign_labels/init.php7
-rw-r--r--plugins/bookmarklets/init.php7
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;