From e9ec857569057cf948c257a27b0f591f895285be Mon Sep 17 00:00:00 2001
From: Tim Starling <tstarling@users.mediawiki.org>
Date: Tue, 17 Feb 2009 03:32:07 +0000
Subject: [PATCH] Support early loading of the Profiler class from a different
 directory (live patch)

---
 includes/ProfilerSimple.php | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/includes/ProfilerSimple.php b/includes/ProfilerSimple.php
index 349a7cac1f..5989061dcd 100644
--- a/includes/ProfilerSimple.php
+++ b/includes/ProfilerSimple.php
@@ -4,7 +4,9 @@
  * @ingroup Profiler
  */
 
-require_once(dirname(__FILE__).'/Profiler.php');
+if ( !class_exists( 'Profiler' ) ) {
+	require_once(dirname(__FILE__).'/Profiler.php');
+}
 
 /**
  * Simple profiler base class.
-- 
2.20.1