diff options
author | Andrew Dolgov <[email protected]> | 2017-04-26 15:29:22 +0300 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2017-04-26 15:29:22 +0300 |
commit | 7b55001eeeb326323d020dcfac2f864f8c3ad633 (patch) | |
tree | 92b09e0349b49b1741a8b45172974addb136fbc5 /classes/plugin.php | |
parent | b49bb441f4fc722911794e80366d37df626a5613 (diff) |
fix various issues reported by static analysis
update gitlab-ci config
Diffstat (limited to 'classes/plugin.php')
-rw-r--r-- | classes/plugin.php | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/classes/plugin.php b/classes/plugin.php index 09204098b..5041de0c4 100644 --- a/classes/plugin.php +++ b/classes/plugin.php @@ -22,6 +22,9 @@ class Plugin { return array(); } + /** + * @SuppressWarnings(PHPMD.UnusedFormalParameter) + */ function is_public_method($method) { return false; } |