Follow up to r45915: disable profiler.php (not the udp versions and such) for mainten...

diff --git a/maintenance/commandLine.inc b/maintenance/commandLine.inc
index a23bb6e..6b1f913 100644 (file)
--- a/maintenance/commandLine.inc
+++ b/maintenance/commandLine.inc
@@ -264,3 +264,5 @@ require_once( "$IP/includes/Setup.php" );
 require_once( "$IP/install-utils.inc" );
 $wgTitle = null; # Much much faster startup than creating a title object
 @set_time_limit(0);
+
+$wgProfiling = false; // only for Profiler.php mode; avoids OOM errors