diff --git a/admin/user.php b/admin/user.php index 9f7465d608f..0ae6d8f99ae 100644 --- a/admin/user.php +++ b/admin/user.php @@ -18,6 +18,8 @@ unset($admin); unset($teacher); + $search = trim($search); + if (! record_exists("user_admins")) { // No admin user yet $user->firstname = get_string("admin");