MediaWiki 1.15.0

[autoinstallsdev/mediawiki.git] / includes / ProfilerSimple.php

diff --git a/includes/ProfilerSimple.php b/includes/ProfilerSimple.php
index 349a7cac1f42929a333b01ef45fe6ff2a463cadf..5989061dcdba7ede9d03b443842bf8f6ca5e452c 100644 (file)
--- 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.