X-Git-Url: https://vcs.fsf.org/?a=blobdiff_plain;f=src%2Foptions_highlight.php;h=c3f224470feebbabe7aab9db1cb747674cc9fee9;hb=0fab46f5b2bd9a749ddf4ba0a4239b7b31351788;hp=3cc2ea7d14b8ab446267d24d11dc79f127b99255;hpb=e1db998a699ae5f71d48f4be60f17b2c4ac2c6d5;p=squirrelmail.git

diff --git a/src/options_highlight.php b/src/options_highlight.php
index 3cc2ea7d..c3f22447 100644
--- a/src/options_highlight.php
+++ b/src/options_highlight.php
@@ -39,8 +39,8 @@
    } else if ($action == 'save') {
       if (!$theid) $theid = 0;
       $identname = ereg_replace(',', ' ', $identname);
-      $identname = str_replace("\\\\", "\\", $identname);
-      $identname = str_replace("\\\"", '"', $identname);
+      $identname = str_replace('\\\\', '\\', $identname);
+      $identname = str_replace('\\"', '"', $identname);
       $identname = str_replace('"', '"', $identname);
       if ($color_type == 1) $newcolor = $newcolor_choose;
       else $newcolor = $newcolor_input;
@@ -49,8 +49,8 @@
       $newcolor = ereg_replace('#', '', $newcolor);
       $newcolor = "$newcolor";
       $value = ereg_replace(',', ' ', $value);
-      $value = str_replace("\\\\", "\\", $value);
-      $value = str_replace("\\\"", '"', $value);
+      $value = str_replace('\\\\', '\\', $value);
+      $value = str_replace('\\"', '"', $value);
       $value = str_replace('"', '"', $value);
 
       setPref($data_dir, $username, "highlight$theid", $identname.','.$newcolor.','.$value.','.$match_type);
@@ -142,8 +142,8 @@
           $disp = $message_highlight_list[$theid]['name'];
       else
           $disp = '';
-      $disp = str_replace("\\\\", "\\", $disp);
-      $disp = str_replace("\\\"", '"', $disp);
+      $disp = str_replace('\\\\', '\\', $disp);
+      $disp = str_replace('\\"', '"', $disp);
       $disp = str_replace('"', '"', $disp);
       echo "         <input type=\"text\" value=\"".$disp."\" name=\"identname\">";
       echo "      </td>\n";
@@ -197,8 +197,8 @@
           $disp = $message_highlight_list[$theid]['value'];
       else
           $disp = '';
-      $disp = str_replace("\\\\", "\\", $disp);
-      $disp = str_replace("\\\"", '"', $disp);
+      $disp = str_replace('\\\\', '\\', $disp);
+      $disp = str_replace('\\"', '"', $disp);
       $disp = str_replace('"', '&quot;', $disp);
       echo '         <nobr><input type="text" value="'.$disp.'" name="value">';
       echo "        <nobr></td>\n";