- putenv( 'wikilang='.$lang);
-
- $DP = $IP;
- ini_set( 'include_path', ".:$IP:$IP/includes:$IP/languages:$IP/maintenance" );
-
- require_once( $IP.'/includes/ProfilerStub.php' );
- require_once( $IP.'/includes/Defines.php' );
- require_once( $IP.'/CommonSettings.php' );
-
- $bin = '/home/wikipedia/bin';
- if ( $wgUseRootUser ) {
- $wgDBuser = $wgDBadminuser = 'root';
- $wgDBpassword = $wgDBadminpassword = trim(`$bin/mysql_root_pass`);
- } elseif ( !$wgUseNormalUser ) {
- $wgDBuser = $wgDBadminuser = 'wikiadmin';
- $wgDBpassword = $wgDBadminpassword = trim(`$bin/wikiadmin_pass`);
- }
-} else {
- $wgWikiFarm = false;
- if ( isset( $options['conf'] ) ) {
- $settingsFile = $options['conf'];
- } else {
- $settingsFile = "$IP/LocalSettings.php";
- }
-
- if ( ! is_readable( $settingsFile ) ) {
- print "A copy of your installation's LocalSettings.php\n" .
- "must exist in the source directory.\n";
- exit();
- }
- $wgCommandLineMode = true;
- $DP = $IP;
- require_once( $IP.'/includes/ProfilerStub.php' );
- require_once( $IP.'/includes/Defines.php' );
- require_once( $settingsFile );
- ini_set( 'include_path', ".$sep$IP$sep$IP/includes$sep$IP/languages$sep$IP/maintenance" );
-
- if ( is_readable( $IP.'/AdminSettings.php' ) ) {
- require_once( $IP.'/AdminSettings.php' );
- }
-}
-
-# Turn off output buffering again, it might have been turned on in the settings files
-@ob_end_flush();
-# Same with these
-$wgCommandLineMode = true;
-
-if ( empty( $wgUseNormalUser ) && isset( $wgDBadminuser ) && $wgDBservers ) {
- $wgDBuser = $wgDBadminuser;
- $wgDBpassword = $wgDBadminpassword;
-
- foreach ( $wgDBservers as $i => $server ) {
- $wgDBservers[$i]['user'] = $wgDBuser;
- $wgDBservers[$i]['password'] = $wgDBpassword;