From efc95a66bbfe650aa218a789f0796371f8697b71 Mon Sep 17 00:00:00 2001
From: Chad Horohoe <demon@users.mediawiki.org>
Date: Thu, 7 May 2009 20:30:55 +0000
Subject: [PATCH] Followup to r50316: Fix inclusion of profiler in maintenance
 scripts.

---
 maintenance/commandLine.inc | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/maintenance/commandLine.inc b/maintenance/commandLine.inc
index e83a19160a..8ccb72beec 100644
--- a/maintenance/commandLine.inc
+++ b/maintenance/commandLine.inc
@@ -44,7 +44,9 @@ $IP = strval( getenv('MW_INSTALL_PATH') ) !== ''
 	? getenv('MW_INSTALL_PATH')
 	: realpath( dirname( __FILE__ ) . '/..' );
 #chdir( $IP );
-require_once( "$IP/StartProfiler.php" );
+if ( file_exists( "$IP/StartProfiler.php" ) ) {
+	require_once( "$IP/StartProfiler.php"  );
+}
 
 $options = array();
 $args = array();
-- 
2.20.1