Index: trunk/phase3/resources/mediawiki/mediawiki.log.js |
— | — | @@ -21,7 +21,7 @@ |
22 | 22 | string = mw.config.get( 'mw.log.prefix' ) + '> ' + string; |
23 | 23 | } |
24 | 24 | // Try to use an existing console |
25 | | - if ( typeof window.console !== 'undefined' && typeof window.console.log !== 'function' ) { |
| 25 | + if ( typeof window.console !== 'undefined' && typeof window.console.log == 'function' ) { |
26 | 26 | window.console.log( string ); |
27 | 27 | } else { |
28 | 28 | // Set timestamp |