Reverting unintended change of r76326

diff --git a/resources/mediawiki/mediawiki.log.js b/resources/mediawiki/mediawiki.log.js
index 871a457..09123cf 100644 (file)
--- a/resources/mediawiki/mediawiki.log.js
+++ b/resources/mediawiki/mediawiki.log.js
@@ -21,7 +21,7 @@
                        string = mw.config.get( 'mw.log.prefix' ) + '> ' + string;              
                }
                // Try to use an existing console
-               if ( typeof window.console !== 'undefined' && typeof window.console.log !== 'function' ) {
+               if ( typeof window.console !== 'undefined' && typeof window.console.log == 'function' ) {
                        window.console.log( string );
                } else {
                        // Set timestamp