From: Brion Vibber <brion@users.mediawiki.org>
Date: Sun, 2 Apr 2006 04:17:00 +0000 (+0000)
Subject: Live fix: include ProfilerStub.php, some scripts need it
X-Git-Tag: 1.6.0~67
X-Git-Url: http://git.cyclocoop.org/%40spipnet%40?a=commitdiff_plain;h=0f2812d73289ebd25827723c66730f2bd7e6afbe;p=lhc%2Fweb%2Fwiklou.git

Live fix: include ProfilerStub.php, some scripts need it
---

diff --git a/maintenance/commandLine.inc b/maintenance/commandLine.inc
index 1d444c852b..f5b28d64ca 100644
--- a/maintenance/commandLine.inc
+++ b/maintenance/commandLine.inc
@@ -131,6 +131,7 @@ if ( file_exists( '/home/wikipedia/common/langlist' ) ) {
 	$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' );
 
@@ -157,6 +158,7 @@ if ( file_exists( '/home/wikipedia/common/langlist' ) ) {
 	}
 	$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" );