diff options
| author | Dimitri van Heesch <doxygen@gmail.com> | 2020-07-07 20:23:29 (GMT) |
|---|---|---|
| committer | Dimitri van Heesch <doxygen@gmail.com> | 2020-07-07 20:23:29 (GMT) |
| commit | 236080bf9b07dd036efc88f91e3718a1139cfa38 (patch) | |
| tree | 353d1ab0c74ff95cd6fb5e664d64bef03b67a710 /templates | |
| parent | 8c12604a84faabf6beeef7f159692ccddcb94dc6 (diff) | |
| download | Doxygen-236080bf9b07dd036efc88f91e3718a1139cfa38.zip Doxygen-236080bf9b07dd036efc88f91e3718a1139cfa38.tar.gz Doxygen-236080bf9b07dd036efc88f91e3718a1139cfa38.tar.bz2 | |
Issue #7892: Incorrect search box on server-side search results page
Diffstat (limited to 'templates')
| -rw-r--r-- | templates/html/search_functions.php | 8 |
1 files changed, 1 insertions, 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(); } ?> |