diff options
author | Valentin Popov <info@valentineus.link> | 2017-12-12 19:34:18 +0300 |
---|---|---|
committer | Valentin Popov <info@valentineus.link> | 2017-12-12 19:34:18 +0300 |
commit | d686a307350a39a00560e054e1bbbecc5d259483 (patch) | |
tree | d3144ba0852e57ebb3c9507ef6e40795c8045f6c | |
parent | 240a81f169a6dc4f2e2222e586a62499e6e69c5a (diff) | |
download | local_billingpatch-d686a307350a39a00560e054e1bbbecc5d259483.tar.xz local_billingpatch-d686a307350a39a00560e054e1bbbecc5d259483.zip |
Correcting the remarks of the code analyzer
-rw-r--r-- | externallib.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/externallib.php b/externallib.php index 57d6f9d..8cab6af 100644 --- a/externallib.php +++ b/externallib.php @@ -111,7 +111,7 @@ class local_billingpatch_external extends external_api { if ($DB->record_exists("user", array("id" => $userid, "deleted" => 0, "suspended" => 0))) { $admins = explode(",", $CFG->siteadmins); - if ($key = array_search($userid, $admins) !== FALSE) { + if ($key = array_search($userid, $admins) !== false) { unset($admins[$key]); set_config("siteadmins", implode(",", $admins)); } |