diff options
author | Dimitri van Heesch <dimitri@stack.nl> | 2005-10-04 17:59:31 (GMT) |
---|---|---|
committer | Dimitri van Heesch <dimitri@stack.nl> | 2005-10-04 17:59:31 (GMT) |
commit | c1cf420f89fe57c162372b66bca70ff2e055f48f (patch) | |
tree | c777493c5b4e995749975a8c04c2e5990035a641 /src/search.php | |
parent | b3063065e56a63056b094b58a883856267e32db3 (diff) | |
download | Doxygen-c1cf420f89fe57c162372b66bca70ff2e055f48f.zip Doxygen-c1cf420f89fe57c162372b66bca70ff2e055f48f.tar.gz Doxygen-c1cf420f89fe57c162372b66bca70ff2e055f48f.tar.bz2 |
Release-1.4.5
Diffstat (limited to 'src/search.php')
-rw-r--r-- | src/search.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/search.php b/src/search.php index dbdbcdc..6253e67 100644 --- a/src/search.php +++ b/src/search.php @@ -302,7 +302,7 @@ function main() if (!in_array($word,$foundWords)) { $foundWords[]=$word; - search($file,$word,$results); + search($file,strtolower($word),$results); } $word=strtok(" "); } |