do case insensitive search word highlighting in page FS#1297

darcs-hash:20080215180239-7ad00-2b9e1d5cff75f581a549bc3881a18cfffc53efb5.gz

inc/html.php

@@ -267,7 +267,7 @@ function html_hilight($html,$regex){
   $regex = preg_replace('![\[\]()/\\\\?\.+*]+!','',$regex);
 
   if ($regex === '') return $html;
-  $html = preg_replace_callback("/((<[^>]*)|$regex)/i",'html_hilight_callback',$html);
+  $html = preg_replace_callback("/((<[^>]*)|$regex)/ui",'html_hilight_callback',$html);
   return $html;
 }