| Index: branches/wmf/1.17wmf1/resources/mediawiki/mediawiki.js |
| — | — | @@ -622,12 +622,8 @@ |
| 623 | 623 | } |
| 624 | 624 | } |
| 625 | 625 | } catch ( e ) { |
| 626 | | - // This needs to NOT use mw.log because these errors are common in production mode |
| 627 | | - // and not in debug mode, such as when a symbol that should be global isn't exported |
| 628 | | - if ( window.console && typeof window.console.log === 'function' ) { |
| 629 | | - console.log( _fn + 'Exception thrown by ' + module + ': ' + e.message ); |
| 630 | | - console.log( e ); |
| 631 | | - } |
| | 626 | + mediaWiki.log( 'Exception thrown by ' + module + ': ' + e.message ); |
| | 627 | + mediaWiki.log( e ); |
| 632 | 628 | registry[module].state = 'error'; |
| 633 | 629 | // Run error callbacks of jobs affected by this condition |
| 634 | 630 | for ( var j = 0; j < jobs.length; j++ ) { |
| Property changes on: branches/wmf/1.17wmf1/resources/mediawiki/mediawiki.js |
| ___________________________________________________________________ |
| Modified: svn:mergeinfo |
| 635 | 631 | Reverse-merged /trunk/phase3/resources/mediawiki/mediawiki.js:r80813,80815,83798,84459,84729,84820,84985,85140,85152,85194 |