| Index: trunk/phase3/resources/mediawiki/mediawiki.log.js |
| — | — | @@ -29,7 +29,7 @@ |
| 30 | 30 | var time = ( d.getHours() < 10 ? '0' + d.getHours() : d.getHours() ) + |
| 31 | 31 | ':' + ( d.getMinutes() < 10 ? '0' + d.getMinutes() : d.getMinutes() ) + |
| 32 | 32 | ':' + ( d.getSeconds() < 10 ? '0' + d.getSeconds() : d.getSeconds() ) + |
| 33 | | - '.' + ( d.getMilliseconds() < 100 ? '0' + d.getMilliseconds() : d.getMilliseconds() ); |
| | 33 | + '.' + ( d.getMilliseconds() < 10 ? '00' + d.getMilliseconds() : ( d.getMilliseconds() < 100 ? '0' + d.getMilliseconds() : d.getMilliseconds() ) ); |
| 34 | 34 | // Show a log box for console-less browsers |
| 35 | 35 | var $log = $( '#mw-log-console' ); |
| 36 | 36 | if ( !$log.length ) { |