r663: Make highlight case-insensitive

diff --git a/showreport.php b/showreport.php
index 6027817abe77b4298176fc416f2115cbb879f913..747d25b3c622bfd62393f6a5dd32acf9e0414e4d 100644 (file)
--- a/showreport.php
+++ b/showreport.php
@@ -305,7 +305,7 @@ while ($comment = $db->fetch_array($comments_fetch))
        {
                foreach ($hilight AS $id => $find)
                {
-                       $find = "#($find)#";
+                       $find = "#($find)#i";
                        $replace = "<span style=\"background-color: yellow; font-weight: bold; color: red;\">\\1</span>";
                        $comment['comment_parsed'] = preg_replace($find, $replace, $comment['comment_parsed']);
                }
@@ -320,7 +320,7 @@ if (is_array($hilight))
 {
        foreach ($hilight AS $id => $find)
        {
-               $find = "#($find)#";
+               $find = "#($find)#i";
                $replace = "<span style=\"background-color: yellow; font-weight: bold; color: red;\">\\1</span>";
                $bug['summary'] = preg_replace($find, $replace, $bug['summary']);
        }