From 09a82a4b7bdd5fe3dd9765541ca1a67bb3521d86 Mon Sep 17 00:00:00 2001 From: Brian Wolff Date: Fri, 28 Feb 2014 00:53:58 -0400 Subject: [PATCH] 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 --- includes/DefaultSettings.php | 5 ----- 1 file changed, 5 deletions(-) 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 */ -- 2.20.1