diff --git a/search/query.php b/search/query.php index 29da9b9d4e1..67b04182771 100644 --- a/search/query.php +++ b/search/query.php @@ -204,23 +204,23 @@ else { echo $OUTPUT->box_start(); ?> - +