| Index: trunk/extensions/JS2Support/mwResourceLoader.php |
| — | — | @@ -60,7 +60,7 @@ |
| 61 | 61 | echo '/*ScriptLoader is not enabled for this site. To enable add the following line to your LocalSettings.php'; |
| 62 | 62 | echo '<pre><b>$$wgEnableResourceLoader=true;</b></pre>*/'; |
| 63 | 63 | echo 'alert(\'Script loader is disabled\');'; |
| 64 | | - wfAbruptExit( 1 ); |
| | 64 | + die( 1 ); |
| 65 | 65 | } |
| 66 | 66 | |
| 67 | 67 | // Run ResourceLoader action: |