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