[gnome-shell] Revert "Calendar: Remove leading zeros for 24h time format"

[Florian Müllner <fmuellner src gnome org>]

commit 455595f2b2e0ceaf312b110a52c8b356060e6b7a
Author: Florian Müllner <fmuellner gnome org>
Date:   Fri Nov 7 15:13:13 2014 +0000

    Revert "Calendar: Remove leading zeros for 24h time format"
    
    Leading zeros are common in the 24h format, and indeed used in the
    wallclock in the top bar. Convention and consistency within the
    same clock format trumps inconsistency between different time formats,
    so reverting commit 316f825b2ac718.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=658675

 js/ui/calendar.js |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/js/ui/calendar.js b/js/ui/calendar.js
index bb78622..e639ef7 100644
--- a/js/ui/calendar.js
+++ b/js/ui/calendar.js
@@ -74,7 +74,7 @@ function _formatEventTime(event, clockFormat, periodBegin, periodEnd) {
         case '24h':
             /* Translators: Shown in calendar event list, if 24h format,
                \u2236 is a ratio character, similar to : */
-            ret = date.toLocaleFormat(C_("event list time", "%k\u2236%M"));
+            ret = date.toLocaleFormat(C_("event list time", "%H\u2236%M"));
             break;
 
         default: