From a90108a3d0c855db4e48a58eaecf2fc56b08c54b Mon Sep 17 00:00:00 2001
From: Alexandre Emsenhuber <ialex@users.mediawiki.org>
Date: Sat, 4 Feb 2012 19:07:37 +0000
Subject: [PATCH] Removed declaration of ProfilerSimpleTrace::$mMinimumTime;
 already defined in parent class

---
 includes/profiler/ProfilerSimpleTrace.php | 1 -
 1 file changed, 1 deletion(-)

diff --git a/includes/profiler/ProfilerSimpleTrace.php b/includes/profiler/ProfilerSimpleTrace.php
index b53bc485b0..784609f5ea 100644
--- a/includes/profiler/ProfilerSimpleTrace.php
+++ b/includes/profiler/ProfilerSimpleTrace.php
@@ -10,7 +10,6 @@
  * @ingroup Profiler
  */
 class ProfilerSimpleTrace extends ProfilerSimple {
-	var $mMinimumTime = 0;
 	var $trace = "";
 	var $memory = 0;
 
-- 
2.20.1