From: Brian Wolff <bawolff+wn@gmail.com>
Date: Fri, 28 Feb 2014 04:53:58 +0000 (-0400)
Subject: Remove $wgDebugProfiling. It appears to be unused.
X-Git-Tag: 1.31.0-rc.0~16792
X-Git-Url: https://git.cyclocoop.org/%20%27.%28%24debut%20%20%20%24par_page%29.%27?a=commitdiff_plain;h=09a82a4b7bdd5fe3dd9765541ca1a67bb3521d86;p=lhc%2Fweb%2Fwiklou.git

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 b9b471c23a..1dae5e78ba 100644
--- 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
  */