From a1f8d6941ba4b0499f6a1177a8f451aa436d2bb5 Mon Sep 17 00:00:00 2001 From: wn Date: Sat, 12 Dec 2020 10:14:40 -0600 Subject: [PATCH] Remove duplicate block in 'classes/pref/filters.php'. Also a minor tweak to getting the search filter. --- classes/pref/filters.php | 10 +--------- 1 file changed, 1 insertion(+), 9 deletions(-) diff --git a/classes/pref/filters.php b/classes/pref/filters.php index 00644c59f..70b7d0326 100755 --- a/classes/pref/filters.php +++ b/classes/pref/filters.php @@ -736,10 +736,8 @@ class Pref_Filters extends Handler_Protected { } function index() { - - $filter_search = clean($_REQUEST["search"]); - if (array_key_exists("search", $_REQUEST)) { + $filter_search = clean($_REQUEST["search"]); $_SESSION["prefs_filter_search"] = $filter_search; } else { $filter_search = $_SESSION["prefs_filter_search"]; @@ -749,12 +747,6 @@ class Pref_Filters extends Handler_Protected { print "
"; print "
"; - if (array_key_exists("search", $_REQUEST)) { - $_SESSION["prefs_filter_search"] = $filter_search; - } else { - $filter_search = $_SESSION["prefs_filter_search"]; - } - print "