WEBUI JS: internationalize short week names, too

diff --git a/src/webui/static/app/i18n-post.js b/src/webui/static/app/i18n-post.js
index b1f7a8c0a485cbfd6e921017326936edf3e8f5be..dfa4568a485515904bea307602a30e7b0227893b 100644 (file)
--- a/src/webui/static/app/i18n-post.js
+++ b/src/webui/static/app/i18n-post.js
@@ -89,8 +89,18 @@ Date.dayNames = [
   _("Saturday")
 ];
 
+Date.dayNames2 = [
+  _("Sun"),
+  _("Mon"),
+  _("Tue"),
+  _("Wed"),
+  _("Thu"),
+  _("Fri"),
+  _("Sat")
+];
+
 Date.getShortDayName = function(day) {
-  return Date.dayNames[day].substring(0, 3);
+  return Date.dayNames2[day];
 };
 
 Date.parseCodes.S.s = _("(?:st|nd|rd|th)#parseCodes.S.s").split('#')[0];