Fix time formatting for minutes, prepend 0 if minutes is less than 10

diff --git a/core/js/js.js b/core/js/js.js
index 89a20a529f348e8806c41285e177781ff77df242..8a60f70e1dd36e00dd36b615229ac8777d34d53a 100644 (file)
--- a/core/js/js.js
+++ b/core/js/js.js
@@ -519,5 +519,5 @@ function formatDate(date){
        }
        var monthNames = [ t('files','January'), t('files','February'), t('files','March'), t('files','April'), t('files','May'), t('files','June'),
        t('files','July'), t('files','August'), t('files','September'), t('files','October'), t('files','November'), t('files','December') ];
-       return monthNames[date.getMonth()]+' '+date.getDate()+', '+date.getFullYear()+', '+((date.getHours()<10)?'0':'')+date.getHours()+':'+date.getMinutes();
+       return monthNames[date.getMonth()]+' '+date.getDate()+', '+date.getFullYear()+', '+((date.getHours()<10)?'0':'')+date.getHours()+':'+((date.getMinutes()<10)?'0':'')+date.getMinutes();
 }