diff options
Diffstat (limited to 'plugins/close_button/init.php')
| -rw-r--r-- | plugins/close_button/init.php | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/plugins/close_button/init.php b/plugins/close_button/init.php index 7911642c3..66d2af679 100644 --- a/plugins/close_button/init.php +++ b/plugins/close_button/init.php @@ -14,6 +14,9 @@ class Close_Button extends Plugin { "fox"); } + /** + * @SuppressWarnings(PHPMD.UnusedFormalParameter) + */ function hook_article_button($line) { if (!get_pref("COMBINED_DISPLAY_MODE")) { $rv = "<img src=\"plugins/close_button/button.png\" @@ -29,5 +32,4 @@ class Close_Button extends Plugin { return 2; } -} -?> +}
\ No newline at end of file |