diff options
author | Andrew Dolgov <[email protected]> | 2020-09-17 19:02:27 +0300 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2020-09-17 19:02:27 +0300 |
commit | a4525d31b2536bc8ad9da013f4ed5168fac87d0a (patch) | |
tree | 9ae00d19d362a74693800b45efbbf6ffaddcdbb9 /install/index.php | |
parent | 57fac845166a2efa7244c61cce31442fc5600232 (diff) |
replace FALSE with false so that static analyzer shuts up about it
Diffstat (limited to 'install/index.php')
-rw-r--r-- | install/index.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/install/index.php b/install/index.php index 15fe1aa5a..6ff8acfbc 100644 --- a/install/index.php +++ b/install/index.php @@ -10,7 +10,7 @@ function javascript_tag($filename) { $query = ""; - if (!(strpos($filename, "?") === FALSE)) { + if (!(strpos($filename, "?") === false)) { $query = substr($filename, strpos($filename, "?")+1); $filename = substr($filename, 0, strpos($filename, "?")); } |