| Index: trunk/phase3/maintenance/commandLine.inc |
| — | — | @@ -45,7 +45,9 @@ |
| 46 | 46 | : realpath( dirname( __FILE__ ) . '/..' ); |
| 47 | 47 | #chdir( $IP ); |
| 48 | 48 | if ( file_exists( "$IP/StartProfiler.php" ) ) { |
| 49 | | - require_once( "$IP/StartProfiler.php" ); |
| | 49 | + require_once( "$IP/StartProfiler.php" ); |
| | 50 | +} else { |
| | 51 | + require_once( "$IP/includes/ProfilerStub.php" ); |
| 50 | 52 | } |
| 51 | 53 | |
| 52 | 54 | $options = array(); |
| — | — | @@ -196,8 +198,7 @@ |
| 197 | 199 | $wgCommandLineMode = true; |
| 198 | 200 | $DP = $IP; |
| 199 | 201 | require_once( "$IP/includes/AutoLoader.php" ); |
| 200 | | - #require_once( $IP.'/includes/ProfilerStub.php' ); |
| 201 | | - require_once( $IP.'/includes/Defines.php' ); |
| | 202 | + require_once( "$IP/includes/Defines.php" ); |
| 202 | 203 | require_once( $settingsFile ); |
| 203 | 204 | /* ini_set( 'include_path', ".$sep$IP$sep$IP/includes$sep$IP/languages$sep$IP/maintenance" ); */ |
| 204 | 205 | |