Slight change to get rid of leading zeroes in dates

diff --git a/course/weeks.php b/course/weeks.php
index 67155e0fba59cf0944eeaee607fc969e9b92a5c9..30b75c7b088c0e6c4acb8f16a575721002b5370a 100644 (file)
--- a/course/weeks.php
+++ b/course/weeks.php
@@ -141,8 +141,8 @@
 
         $thisweek = (($weekdate <= $timenow) && ($timenow < $nextweekdate));
 
-        $weekday = userdate($weekdate, "%d %B");
-        $endweekday = userdate($weekdate+518400, "%d %B");
+        $weekday = userdate($weekdate, " %d %B");
+        $endweekday = userdate($weekdate+518400, " %d %B");
 
         if ($thisweek) {
             $highlightcolor = $THEME->cellheading2;

diff --git a/lib/moodlelib.php b/lib/moodlelib.php
index b3878153427e449072bda9ceafafe93cd3bd2608..c856150aed170fea996963c9e5027692433dd8f5 100644 (file)
--- a/lib/moodlelib.php
+++ b/lib/moodlelib.php
@@ -541,9 +541,12 @@ function userdate($date, $format="", $timezone=99) {
         }
     }
     if (abs($timezone) > 13) {
-        return strftime("$format", $date);
+        $datestring = strftime("$format", $date);
+    } else {
+        $datestring = gmstrftime($format, $date + (int)($timezone * 3600));
     }
-    return gmstrftime($format, $date + (int)($timezone * 3600));
+
+    return str_replace(" 0", " ", $datestring);   // gets rid of unwanted zeroes
 }
 
 function usergetdate($date, $timezone=99) {