diff options
author | Dimitri van Heesch <dimitri@stack.nl> | 2003-11-12 21:12:36 (GMT) |
---|---|---|
committer | Dimitri van Heesch <dimitri@stack.nl> | 2003-11-12 21:12:36 (GMT) |
commit | 5806ce2084c3c1c80ddaa1d84516837b97468836 (patch) | |
tree | c055ae5f212c403dc425fc687a6e0c50ce812b0b /src/search.php | |
parent | bfaab3acda7ec81a51a45372673f5be07745773b (diff) | |
download | Doxygen-5806ce2084c3c1c80ddaa1d84516837b97468836.zip Doxygen-5806ce2084c3c1c80ddaa1d84516837b97468836.tar.gz Doxygen-5806ce2084c3c1c80ddaa1d84516837b97468836.tar.bz2 |
Release-1.3.4-20031112
Diffstat (limited to 'src/search.php')
-rw-r--r-- | src/search.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/search.php b/src/search.php index 7075ea3..bc4330d 100644 --- a/src/search.php +++ b/src/search.php @@ -276,7 +276,7 @@ function main() $requiredWords = array(); $forbiddenWords = array(); $foundWords = array(); - $word=strtolower(strtok($query," ")); + $word=strtok($query," "); while ($word) // for each word in the search query { if (($word{0}=='+')) { $word=substr($word,1); $requiredWords[]=$word; } @@ -286,7 +286,7 @@ function main() $foundWords[]=$word; search($file,$word,$results); } - $word=strtolower(strtok(" ")); + $word=strtok(" "); } $docs = array(); combine_results($results,$docs); |