diff options
Diffstat (limited to 'maintenance/language/checkExtensions.php')
| -rw-r--r-- | maintenance/language/checkExtensions.php | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/maintenance/language/checkExtensions.php b/maintenance/language/checkExtensions.php index ed1855c1..c05cf193 100644 --- a/maintenance/language/checkExtensions.php +++ b/maintenance/language/checkExtensions.php @@ -6,11 +6,11 @@ * @ingroup MaintenanceLanguage */ -require_once( dirname(__FILE__).'/../commandLine.inc' ); +require_once( dirname( __FILE__ ) . '/../commandLine.inc' ); require_once( 'languages.inc' ); require_once( 'checkLanguage.inc' ); -if( !class_exists( 'MessageGroups' ) || !class_exists( 'PremadeMediawikiExtensionGroups' ) ) { +if ( !class_exists( 'MessageGroups' ) || !class_exists( 'PremadeMediawikiExtensionGroups' ) ) { echo <<<TEXT Please add the Translate extension to LocalSettings.php, and enable the extension groups: require_once( 'extensions/Translate/Translate.php' ); @@ -18,7 +18,7 @@ Please add the Translate extension to LocalSettings.php, and enable the extensio If you still get this message, update Translate to its latest version. TEXT; - exit(-1); + exit( -1 ); } $cli = new CheckExtensionsCLI( $options, $argv[0] ); |