| Index: trunk/extensions/Renameuser/SpecialRenameuser_body.php |
| — | — | @@ -1,5 +1,13 @@ |
| 2 | 2 | <?php |
| 3 | 3 | |
| | 4 | +if ( !defined( 'MEDIAWIKI' ) ) { |
| | 5 | + echo "RenameUser extension\n"; |
| | 6 | + exit( 1 ); |
| | 7 | +} |
| | 8 | + |
| | 9 | +# Add messages |
| | 10 | +wfLoadExtensionMessages( 'Renameuser' ); |
| | 11 | + |
| 4 | 12 | /** |
| 5 | 13 | * Special page allows authorised users to rename |
| 6 | 14 | * user accounts |
| — | — | @@ -22,8 +30,6 @@ |
| 23 | 31 | global $wgOut, $wgUser, $wgTitle, $wgRequest, $wgContLang, $wgLang; |
| 24 | 32 | global $wgVersion, $wgMaxNameChars, $wgCapitalLinks; |
| 25 | 33 | |
| 26 | | - wfLoadExtensionMessages( 'Renameuser' ); |
| 27 | | - |
| 28 | 34 | $this->setHeaders(); |
| 29 | 35 | |
| 30 | 36 | if ( !$wgUser->isAllowed( 'renameuser' ) ) { |