allow pre-started Profiler

[lhc/web/wiklou.git] / includes / ProfilerSimple.php

diff --git a/includes/ProfilerSimple.php b/includes/ProfilerSimple.php
index 9269df5..d96a755 100755 (executable)
--- a/includes/ProfilerSimple.php
+++ b/includes/ProfilerSimple.php
@@ -8,6 +8,8 @@
  * @todo document
  * @package MediaWiki
  */
+require_once('Profiling.php');
+
 class ProfilerSimple extends Profiler {
        function ProfilerSimple() {
                global $wgRequestTime,$wgRUstart;