MDL-16606 "userdate inserts a space in front of date when chopping off the leading...

extra space was used in front of %d so that we can detect the difference between a leading 0 and something like 10, 20, or 30. The extra space was removed along with any leading 0 but not if there was no leading zero.

Now removing extra space even if there is no leading zero.

diff --git a/lib/moodlelib.php b/lib/moodlelib.php
index 3a6132637eeb55b4755e3e4bc66a9977086a60d0..452f71f1e571d78409c9bf9010f6d715d0bf8b81 100644 (file)
--- a/lib/moodlelib.php
+++ b/lib/moodlelib.php
@@ -1254,7 +1254,7 @@ function userdate($date, $format='', $timezone=99, $fixday = true) {
     if (abs($timezone) > 13) {   /// Server time
         if ($fixday) {
             $datestring = strftime($formatnoday, $date);
-            $daystring  = str_replace(' 0', '', strftime(' %d', $date));
+            $daystring  = str_replace(array(' 0', ' '), '', strftime(' %d', $date));
             $datestring = str_replace('DD', $daystring, $datestring);
         } else {
             $datestring = strftime($format, $date);