From: Krinkle <krinkle@users.mediawiki.org>
Date: Wed, 17 Nov 2010 00:41:42 +0000 (+0000)
Subject: Follow-up on r76326 - Fixing milliseconds zero padding for mw.log
X-Git-Tag: 1.31.0-rc.0~33843
X-Git-Url: http://git.cyclocoop.org//%27http:/code.google.com/p/ie7-js//%27?a=commitdiff_plain;h=8cdec2b30ea19b8eda3fafe1405a876ff52985a9;p=lhc%2Fweb%2Fwiklou.git

Follow-up on r76326 - Fixing milliseconds zero padding for mw.log
---

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 ) {