Changeset 409

Timestamp:

Apr 1, 2004, 12:25:31 AM (20 years ago)

Author:

z0rglub

Message:

bug 23 : search case insensitive BUT highlightning case sensitive

File:

• trunk/include/functions.inc.php (modified) (3 diffs)

trunk/include/functions.inc.php

@@ -279 +279 @@
 }
 
-// - add_style replaces the 
-//         $search  into <span style="$style">$search</span>
-// in the given $string.
-// - The function does not replace characters in HTML tags
+/**
+ * replaces the $search into <span style="$style">$search</span> in the
+ * given $string.
+ *
+ * case insensitive replacements, does not replace characters in HTML tags
+ *
+ * @param string $string
+ * @param string $search
+ * @param string $style
+ * @return string
+ */
 function add_style( $string, $search, $style )
 {
@@ -296 +303 @@
   {
     $treatment = substr ( $remaining, 0, $start );
-    $treatment = str_replace( $search, '<span style="'.$style.'">'.
-                              $search.'</span>', $treatment );
+    $treatment = preg_replace( '/('.$search.')/i',
+                               '<span style="'.$style.'">\\0</span>',
+                               $treatment );
     $return_string.= $treatment.substr( $remaining, $start, $end-$start+1 );
     $remaining = substr ( $remaining, $end + 1, strlen( $remaining ) );
@@ -303 +311 @@
     $end   = strpos ( $remaining, '>' );
   }
-  $treatment = str_replace( $search, '<span style="'.$style.'">'.
-                            $search.'</span>', $remaining );
+  $treatment = preg_replace( '/('.$search.')/i',
+                             '<span style="'.$style.'">\\0</span>',
+                             $remaining );
   $return_string.= $treatment;