diff options
Diffstat (limited to 'classes/pref/users.php')
| -rw-r--r-- | classes/pref/users.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/classes/pref/users.php b/classes/pref/users.php index 1a948958e..d8983c9c2 100644 --- a/classes/pref/users.php +++ b/classes/pref/users.php @@ -320,7 +320,7 @@ class Pref_Users extends Handler_Protected { if (array_key_exists("search", $_REQUEST)) { $_SESSION["prefs_user_search"] = $user_search; } else { - $user_search = $_SESSION["prefs_user_search"]; + $user_search = ($_SESSION["prefs_user_search"] ?? ""); } print "<div style='float : right; padding-right : 4px;'> |