From: umherirrender <umherirrender_de.wp@web.de>
Date: Fri, 7 Nov 2014 14:18:18 +0000 (+0100)
Subject: Remove unused global in wfLogProfilingData
X-Git-Tag: 1.31.0-rc.0~13355
X-Git-Url: http://git.cyclocoop.org/%24href?a=commitdiff_plain;h=6f50f1bee564e16a07aaad7a101787076d5a465a;p=lhc%2Fweb%2Fwiklou.git

Remove unused global in wfLogProfilingData

Change-Id: I873efb8967cd17c89de5b32fcde6c738eefa03e6
---

diff --git a/includes/GlobalFunctions.php b/includes/GlobalFunctions.php
index bb807702a1..eab8031c3c 100644
--- a/includes/GlobalFunctions.php
+++ b/includes/GlobalFunctions.php
@@ -1161,7 +1161,7 @@ function wfErrorLog( $text, $file ) {
  * @todo document
  */
 function wfLogProfilingData() {
-	global $wgRequestTime, $wgDebugLogFile, $wgDebugLogGroups, $wgDebugRawPage;
+	global $wgRequestTime, $wgDebugLogGroups, $wgDebugRawPage;
 	global $wgProfileLimit, $wgUser, $wgRequest;
 
 	StatCounter::singleton()->flush();