Merged search trim from stable

diff --git a/admin/user.php b/admin/user.php
index 9f7465d608fe1ee1b463c82df310e62dcde65239..0ae6d8f99ae3b54cff27f97761b6b9267bac80ba 100644 (file)
--- 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");