Gotcha! The event time in day view didn't respect the user's time format

preference. Now it does.

diff --git a/calendar/view.php b/calendar/view.php
index 71340197249a3c2078db6d06fe783e6db0d11cba..d6846d3abf25e2fa19c5c67f918a5fa38167e260 100644 (file)
--- a/calendar/view.php
+++ b/calendar/view.php
@@ -549,10 +549,7 @@ function calendar_print_event($event) {
     if (!empty($event->time)) {
         echo '<span style="float:right;" class="cal_event_date">'.$event->time.'</span>';
     } else {
-        if (!isset($strftimetime)) {
-            $strftimetime = get_string('strftimetime');
-        }
-        echo '<span style="float:right;" class="cal_event_date">'.userdate($event->timestart, $strftimetime).'</span>';
+        echo '<span style="float:right;" class="cal_event_date">'.calendar_time_representation($event->timestart).'</span>';
     }
 
     echo "</td></tr>";