diff options
author | Andrew Dolgov <[email protected]> | 2021-02-06 16:13:11 +0300 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2021-02-06 16:13:11 +0300 |
commit | 73e697a0dfddbf9f606fe755d3912f82b75725d5 (patch) | |
tree | 0d126c0c7b62bec93b7d51f7044963c8a942531e /classes/pref/users.php | |
parent | 73070544cac953fa48f8059b6d406a7a4654ceae (diff) |
fix some warnings in prefs (filters, users)
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;'> |