summaryrefslogtreecommitdiff
path: root/include/sanity_check.php
diff options
context:
space:
mode:
authorAndrew Dolgov <[email protected]>2017-04-26 15:29:22 +0300
committerAndrew Dolgov <[email protected]>2017-04-26 15:29:22 +0300
commit7b55001eeeb326323d020dcfac2f864f8c3ad633 (patch)
tree92b09e0349b49b1741a8b45172974addb136fbc5 /include/sanity_check.php
parentb49bb441f4fc722911794e80366d37df626a5613 (diff)
fix various issues reported by static analysis
update gitlab-ci config
Diffstat (limited to 'include/sanity_check.php')
-rwxr-xr-xinclude/sanity_check.php6
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();