diff options
| -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)); } |