From 8cdec2b30ea19b8eda3fafe1405a876ff52985a9 Mon Sep 17 00:00:00 2001 From: Krinkle Date: Wed, 17 Nov 2010 00:41:42 +0000 Subject: [PATCH] Follow-up on r76326 - Fixing milliseconds zero padding for mw.log --- resources/mediawiki/mediawiki.log.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/resources/mediawiki/mediawiki.log.js b/resources/mediawiki/mediawiki.log.js index 15b73d04de..55bf77f07d 100644 --- a/resources/mediawiki/mediawiki.log.js +++ b/resources/mediawiki/mediawiki.log.js @@ -29,7 +29,7 @@ var time = ( d.getHours() < 10 ? '0' + d.getHours() : d.getHours() ) + ':' + ( d.getMinutes() < 10 ? '0' + d.getMinutes() : d.getMinutes() ) + ':' + ( d.getSeconds() < 10 ? '0' + d.getSeconds() : d.getSeconds() ) + - '.' + ( d.getMilliseconds() < 100 ? '0' + d.getMilliseconds() : d.getMilliseconds() ); + '.' + ( d.getMilliseconds() < 10 ? '00' + d.getMilliseconds() : ( d.getMilliseconds() < 100 ? '0' + d.getMilliseconds() : d.getMilliseconds() ) ); // Show a log box for console-less browsers var $log = $( '#mw-log-console' ); if ( !$log.length ) { -- 2.20.1