| Index: trunk/extensions/NewUserNotif/NewUserNotif.php |
| — | — | @@ -48,7 +48,5 @@ |
| 49 | 49 | |
| 50 | 50 | } else { |
| 51 | 51 | echo( "This file is an extension to the MediaWiki software and cannot be used standalone.\n" ); |
| 52 | | - die( 1 ); |
| 53 | | -} |
| 54 | | - |
| 55 | | - |
| | 52 | + exit( 1 ); |
| | 53 | +} |
| \ No newline at end of file |