Remove $wgDebugProfiling. It appears to be unused.

Not sure what happened to it, but grep suggests the option no
longer does anything.

Change-Id: I0d515551cd0d6cfd5b027be71ada714f6ebeb5ab

diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php
index b9b471c..1dae5e7 100644 (file)
--- a/includes/DefaultSettings.php
+++ b/includes/DefaultSettings.php
@@ -5104,11 +5104,6 @@ $wgUDPProfilerPort = '3811';
  */
 $wgUDPProfilerFormatString = "%s - %d %f %f %f %f %s\n";
 
-/**
- * Detects non-matching wfProfileIn/wfProfileOut calls
- */
-$wgDebugProfiling = false;
-
 /**
  * Output debug message on every wfProfileIn/wfProfileOut
  */