| Index: trunk/phase3/maintenance/commandLine.inc |
| — | — | @@ -131,6 +131,7 @@ |
| 132 | 132 | $DP = $IP; |
| 133 | 133 | ini_set( 'include_path', ".:$IP:$IP/includes:$IP/languages:$IP/maintenance" ); |
| 134 | 134 | |
| | 135 | + require_once( $IP.'/includes/ProfilerStub.php' ); |
| 135 | 136 | require_once( $IP.'/includes/Defines.php' ); |
| 136 | 137 | require_once( $IP.'/CommonSettings.php' ); |
| 137 | 138 | |
| — | — | @@ -157,6 +158,7 @@ |
| 158 | 159 | } |
| 159 | 160 | $wgCommandLineMode = true; |
| 160 | 161 | $DP = $IP; |
| | 162 | + require_once( $IP.'/includes/ProfilerStub.php' ); |
| 161 | 163 | require_once( $IP.'/includes/Defines.php' ); |
| 162 | 164 | require_once( $settingsFile ); |
| 163 | 165 | ini_set( 'include_path', ".$sep$IP$sep$IP/includes$sep$IP/languages$sep$IP/maintenance" ); |