diff options
author | Dimitri van Heesch <dimitri@stack.nl> | 2010-12-24 16:12:24 (GMT) |
---|---|---|
committer | Dimitri van Heesch <dimitri@stack.nl> | 2010-12-24 16:12:24 (GMT) |
commit | 48f4fd9c2d9ba8b374e3c052f888df9bc220df92 (patch) | |
tree | 2e3f5d0757e53645fc902d0a87aa44dfd31d2d4d /src/search.php | |
parent | dd7602fdd31d8f3e0f88be553da084a1e3fdec45 (diff) | |
download | Doxygen-48f4fd9c2d9ba8b374e3c052f888df9bc220df92.zip Doxygen-48f4fd9c2d9ba8b374e3c052f888df9bc220df92.tar.gz Doxygen-48f4fd9c2d9ba8b374e3c052f888df9bc220df92.tar.bz2 |
Release-1.7.2-20101224
Diffstat (limited to 'src/search.php')
-rw-r--r-- | src/search.php | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/src/search.php b/src/search.php index bddb487..bc848c1 100644 --- a/src/search.php +++ b/src/search.php @@ -140,7 +140,7 @@ function combine_results($results,&$docs) { $key=$di["url"]; $rank=$di["rank"]; - if (in_array($key, array_keys($docs))) + if ($docs[$key]) { $docs[$key]["rank"]+=$rank; } @@ -219,10 +219,13 @@ function sort_results($docs,&$sorted) function report_results(&$docs) { + echo "<div class=\"header\">"; + echo " <div class=\"headertitle\">\n"; + echo " <h1>".search_results()."</h1>\n"; + echo " </div>\n"; + echo "</div>\n"; + echo "<div class=\"searchresults\">\n"; echo "<table cellspacing=\"2\">\n"; - echo " <tr>\n"; - echo " <td colspan=\"2\"><h2>".search_results()."</h2></td>\n"; - echo " </tr>\n"; $numDocs = sizeof($docs); if ($numDocs==0) { @@ -279,7 +282,6 @@ function main() $query=$_GET["query"]; } end_form(preg_replace("/[^a-zA-Z0-9\-\_\.]/i", " ", $query )); - echo " \n<div class=\"searchresults\">\n"; $results = array(); $requiredWords = array(); $forbiddenWords = array(); @@ -307,6 +309,7 @@ function main() // report results to the user report_results($sorted); echo "</div>\n"; + end_page(); fclose($file); } |