diff options
Diffstat (limited to 'inc')
| -rw-r--r-- | inc/html.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/inc/html.php b/inc/html.php index cdb8692df..41272b17f 100644 --- a/inc/html.php +++ b/inc/html.php @@ -289,7 +289,7 @@ function html_show($txt=''){ */ function html_hilight($html,$query){ //split at common delimiters - $queries = preg_split ('/[\s\'"\\\\`()\]\[?:!\.{};,#+*<>]+/',$query,-1,PREG_SPLIT_NO_EMPTY); + $queries = preg_split ('/[\s\'"\\\\`()\]\[?:!\.{};,#+*<>\\/]+/',$query,-1,PREG_SPLIT_NO_EMPTY); foreach ($queries as $q){ $q = preg_quote($q,'/'); $html = preg_replace_callback("/((<[^>]*)|$q)/i",'html_hilight_callback',$html); |