http://www.mediawiki.org/wiki/Special:Code/MediaWiki/76868

Revision: 76868
Author:   krinkle
Date:     2010-11-17 00:41:42 +0000 (Wed, 17 Nov 2010)
Log Message:
-----------
Follow-up on r76326 - Fixing milliseconds zero padding for mw.log

Modified Paths:
--------------
    trunk/phase3/resources/mediawiki/mediawiki.log.js

Modified: trunk/phase3/resources/mediawiki/mediawiki.log.js
===================================================================
--- trunk/phase3/resources/mediawiki/mediawiki.log.js   2010-11-17 00:23:30 UTC 
(rev 76867)
+++ trunk/phase3/resources/mediawiki/mediawiki.log.js   2010-11-17 00:41:42 UTC 
(rev 76868)
@@ -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 ) {


_______________________________________________
MediaWiki-CVS mailing list
MediaWiki-CVS@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-cvs

Reply via email to