fix strftime in windows, use %#d instead of %e in windows

diff --git a/lib/l10n.php b/lib/l10n.php
index 41c89a7d4b58aedee8f76d153623a44c8292cd96..f1a2523c3071541f076eabd13fb686f908ed771c 100644 (file)
--- a/lib/l10n.php
+++ b/lib/l10n.php
@@ -223,7 +223,12 @@ class OC_L10N{
                                        $locales[] = $locales[0].'_'.strtoupper($locales[0]);
                                }
                                setlocale(LC_TIME, $locales);
-                               return strftime($this->localizations[$type], $data);
+                               $format = $this->localizations[$type];
+                               // Check for Windows to find and replace the %e modifier correctly
+                               if (strtoupper(substr(PHP_OS, 0, 3)) == 'WIN') {
+                                       $format = preg_replace('#(?<!%)((?:%%)*)%e#', '\1%#d', $format);
+                               }
+                               return strftime($format, $data);
                                break;
                        case 'firstday':
                        case 'jsdate':