diff --git a/admin/search.php b/admin/search.php index dc39e04e127..82c5969992b 100644 --- a/admin/search.php +++ b/admin/search.php @@ -46,6 +46,8 @@ $resultshtml = admin_search_settings_html($query); // case insensitive search on echo '