diff options
author | Andrew Dolgov <[email protected]> | 2021-11-13 20:07:13 +0300 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2021-11-13 20:07:13 +0300 |
commit | fe5ada72504705f9304c3f0bba049a20998fe650 (patch) | |
tree | 55c55e87975fc573601419da39d379ef27cf890d /plugins | |
parent | 5e34fe17a7717b6484e1c7f8a31e3f57e71ab45d (diff) |
set some annotations on Plugin hook methods
Diffstat (limited to 'plugins')
-rw-r--r-- | plugins/share/init.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/plugins/share/init.php b/plugins/share/init.php index 4dbc389fd..b900de5c0 100644 --- a/plugins/share/init.php +++ b/plugins/share/init.php @@ -43,8 +43,8 @@ class Share extends Plugin { print __("Article unshared"); } - /** @param int $id - * + /** + * @param string $id * @return void */ function hook_prefs_tab_section($id) { if ($id == "prefFeedsPublishedGenerated") { |