diff options
author | Dimitri van Heesch <dimitri@stack.nl> | 2005-09-16 18:34:41 (GMT) |
---|---|---|
committer | Dimitri van Heesch <dimitri@stack.nl> | 2005-09-16 18:34:41 (GMT) |
commit | 143b39e71a45892c2b8e8bf22f5d448b441bf36a (patch) | |
tree | 11aba0942df62a4f1090d7ffd3f4cb98c0c3b6ed /src/search.php | |
parent | 360bc2535d89e99bbd159ca695813dcdba49c71b (diff) | |
download | Doxygen-143b39e71a45892c2b8e8bf22f5d448b441bf36a.zip Doxygen-143b39e71a45892c2b8e8bf22f5d448b441bf36a.tar.gz Doxygen-143b39e71a45892c2b8e8bf22f5d448b441bf36a.tar.bz2 |
Release-1.4.4-20050817
Diffstat (limited to 'src/search.php')
-rw-r--r-- | src/search.php | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/src/search.php b/src/search.php index b908125..dbdbcdc 100644 --- a/src/search.php +++ b/src/search.php @@ -288,11 +288,8 @@ function main() { $query=$_GET["query"]; } - echo "<input class=\"search\" type=\"text\" name=\"query\" value=\"$query\" size=\"20\" accesskey=\"s\"/>\n"; - echo "</span>\n"; - echo "</form>\n"; - echo "</div>\n"; - echo "<div class=\"searchresults\">\n"; + end_form($query); + echo " \n<div class=\"searchresults\">\n"; $results = array(); $requiredWords = array(); $forbiddenWords = array(); |