From 236080bf9b07dd036efc88f91e3718a1139cfa38 Mon Sep 17 00:00:00 2001
From: Dimitri van Heesch <doxygen@gmail.com>
Date: Tue, 7 Jul 2020 22:23:29 +0200
Subject: Issue #7892: Incorrect search box on server-side search results page

---
 templates/html/search_functions.php | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

diff --git a/templates/html/search_functions.php b/templates/html/search_functions.php
index 7374de9..22481db 100644
--- a/templates/html/search_functions.php
+++ b/templates/html/search_functions.php
@@ -7,7 +7,7 @@ function end_form($value)
   global $translator;
   if ($config['DISABLE_INDEX'] == false)
   {
-  echo "            <input type=\"text\" id=\"MSearchField\" name=\"query\" value=\"$value\" size=\"20\" accesskey=\"S\" onfocus=\"searchBox.OnSearchFieldFocus(true)\" onblur=\"searchBox.OnSearchFieldFocus(false)\"/>\n            </form>\n          </div><div class=\"right\"></div>\n        </div>\n      </li>\n    </ul>\n  </div>\n</div>\n";
+    echo "</div>\n";
   }
   if ($config['GENERATE_TREEVIEW'])
   {
@@ -15,11 +15,6 @@ function end_form($value)
   }
 }
 
-function end_page()
-{
-  echo "</body></html>";
-}
-
 function search_results()
 {
   global $translator;
@@ -361,6 +356,5 @@ function main()
   end_form(preg_replace("/[^a-zA-Z0-9\-\_\.\x80-\xFF]/i", " ", $query ));
   // report results to the user
   report_results($sorted);
-  end_page();
 }
 ?>
-- 
cgit v0.12