Support early loading of the Profiler class from a different directory (live patch)
authorTim Starling <tstarling@users.mediawiki.org>
Tue, 17 Feb 2009 03:32:07 +0000 (03:32 +0000)
committerTim Starling <tstarling@users.mediawiki.org>
Tue, 17 Feb 2009 03:32:07 +0000 (03:32 +0000)
includes/ProfilerSimple.php

index 349a7ca..5989061 100644 (file)
@@ -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.