From bea7a51e3cfc91717077d48575ec6e3f2034e845 Mon Sep 17 00:00:00 2001
From: moodler <moodler>
Date: Mon, 2 Dec 2002 01:13:14 +0000
Subject: [PATCH] Slight change to get rid of leading zeroes in dates

---
 course/weeks.php  | 4 ++--
 lib/moodlelib.php | 7 +++++--
 2 files changed, 7 insertions(+), 4 deletions(-)

diff --git a/course/weeks.php b/course/weeks.php
index 67155e0fba..30b75c7b08 100644
--- 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 b387815342..c856150aed 100644
--- 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) {
-- 
2.39.5