From 0f2812d73289ebd25827723c66730f2bd7e6afbe Mon Sep 17 00:00:00 2001 From: Brion Vibber Date: Sun, 2 Apr 2006 04:17:00 +0000 Subject: [PATCH] Live fix: include ProfilerStub.php, some scripts need it --- maintenance/commandLine.inc | 2 ++ 1 file changed, 2 insertions(+) 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" ); -- 2.20.1