php/html/checkExtensions_8php_source.html

00001 <?php
00024 require_once( dirname( __FILE__ ) . '/../commandLine.inc' );
00025 require_once( 'languages.inc' );
00026 require_once( 'checkLanguage.inc' );
00027
00028 if ( !class_exists( 'MessageGroups' ) || !class_exists( 'PremadeMediawikiExtensionGroups' ) ) {
00029         echo <<<TEXT
00030 Please add the Translate extension to LocalSettings.php, and enable the extension groups:
00031         require_once( 'extensions/Translate/Translate.php' );
00032         \$wgTranslateEC = array_keys( \$wgTranslateAC );
00033 If you still get this message, update Translate to its latest version.
00034
00035 TEXT;
00036         exit( -1 );
00037 }
00038
00039 $cli = new CheckExtensionsCLI( $options, $argv[0] );
00040 $cli->execute();