diff options
| author | Dimitri van Heesch <dimitri@stack.nl> | 2013-09-14 15:11:20 (GMT) |
|---|---|---|
| committer | Dimitri van Heesch <dimitri@stack.nl> | 2013-09-15 18:12:34 (GMT) |
| commit | bca6baee6685b489c36abec5a3b550921294e228 (patch) | |
| tree | a9f2f6d2622e8aba8beed7477e87d7c9c7a468e1 /src/search_functions.php | |
| parent | f6bc941e73bd562b15705f7bc3c958267f75f842 (diff) | |
| download | Doxygen-bca6baee6685b489c36abec5a3b550921294e228.zip Doxygen-bca6baee6685b489c36abec5a3b550921294e228.tar.gz Doxygen-bca6baee6685b489c36abec5a3b550921294e228.tar.bz2 | |
Bug 705910 - Indexing and searching cannot treat non ASCII identifiers
Diffstat (limited to 'src/search_functions.php')
| -rw-r--r-- | src/search_functions.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/search_functions.php b/src/search_functions.php index acd7f3c..5ad2e5d 100644 --- a/src/search_functions.php +++ b/src/search_functions.php @@ -358,7 +358,7 @@ function main() $sorted = run_query($query); // Now output the HTML stuff... // End the HTML form - end_form(preg_replace("/[^a-zA-Z0-9\-\_\.]/i", " ", $query )); + end_form(preg_replace("/[^a-zA-Z0-9\-\_\.\x80-\xFF]/i", " ", $query )); // report results to the user report_results($sorted); end_page(); |