Ticket #1200: date_i18n.patch

wp-includes/functions.php

@@ -65 +65 @@
                 $datemonth = $month[date('m', $i)];
                 $dateweekday = $weekday[date('w', $i)];
                 $dateformatstring = ' '.$dateformatstring;
-                $dateformatstring = preg_replace("/([^\\\])D/", "\\1".backslashit(substr($dateweekday, 0, 3)), $dateformatstring);
+                $dateformatstring = preg_replace("/([^\\\])D/", "\\1".backslashit($dateweekday_abbrev), $dateformatstring);
                 $dateformatstring = preg_replace("/([^\\\])F/", "\\1".backslashit($datemonth), $dateformatstring);
                 $dateformatstring = preg_replace("/([^\\\])l/", "\\1".backslashit($dateweekday), $dateformatstring);
-                $dateformatstring = preg_replace("/([^\\\])M/", "\\1".backslashit(substr($datemonth, 0, 3)), $dateformatstring);
+                $dateformatstring = preg_replace("/([^\\\])M/", "\\1".backslashit($datemonth_abbrev), $dateformatstring);
                 $dateformatstring = substr($dateformatstring, 1, strlen($dateformatstring)-1);
         }
         $j = @date($dateformatstring, $i);