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 /include/sanity_check.php | |
parent | b49bb441f4fc722911794e80366d37df626a5613 (diff) |
fix various issues reported by static analysis
update gitlab-ci config
Diffstat (limited to 'include/sanity_check.php')
-rwxr-xr-x | include/sanity_check.php | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/include/sanity_check.php b/include/sanity_check.php index f1181f88c..3b3e281ec 100755 --- a/include/sanity_check.php +++ b/include/sanity_check.php @@ -1,6 +1,5 @@ <?php - /* - * WARNING! + /* WARNING! * * If you modify this file, you are ON YOUR OWN! * @@ -21,6 +20,9 @@ return $url_path; } + /** + * @SuppressWarnings(PHPMD.UnusedLocalVariable) + */ function initial_sanity_check() { $errors = array(); |