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 /plugins/af_psql_trgm | |
parent | 57fac845166a2efa7244c61cce31442fc5600232 (diff) |
replace FALSE with false so that static analyzer shuts up about it
Diffstat (limited to 'plugins/af_psql_trgm')
-rw-r--r-- | plugins/af_psql_trgm/init.php | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/plugins/af_psql_trgm/init.php b/plugins/af_psql_trgm/init.php index dbc99cfe4..b6aea67fb 100644 --- a/plugins/af_psql_trgm/init.php +++ b/plugins/af_psql_trgm/init.php @@ -228,7 +228,7 @@ class Af_Psql_Trgm extends Plugin { if (!array($enabled_feeds)) $enabled_feeds = array(); $key = array_search($feed_id, $enabled_feeds); - $checked = $key !== FALSE ? "checked" : ""; + $checked = $key !== false ? "checked" : ""; print "<fieldset>"; @@ -248,11 +248,11 @@ class Af_Psql_Trgm extends Plugin { $key = array_search($feed_id, $enabled_feeds); if ($enable) { - if ($key === FALSE) { + if ($key === false) { array_push($enabled_feeds, $feed_id); } } else { - if ($key !== FALSE) { + if ($key !== false) { unset($enabled_feeds[$key]); } } @@ -272,7 +272,7 @@ class Af_Psql_Trgm extends Plugin { if (!$enable_globally) { $enabled_feeds = $this->host->get($this, "enabled_feeds"); $key = array_search($article["feed"]["id"], $enabled_feeds); - if ($key === FALSE) return $article; + if ($key === false) return $article; } $similarity = (float) $this->host->get($this, "similarity"); |