Revert - didn't mean to commit this!

diff --git a/StartProfiler.php b/StartProfiler.php
index 6de8d52..3fcf69e 100644 (file)
--- a/StartProfiler.php
+++ b/StartProfiler.php
@@ -1,7 +1,6 @@
 <?php
 
-require_once(  dirname(__FILE__).'/includes/Profiler.php' );
-$wgProfiler = new Profiler;
+require_once( dirname(__FILE__).'/includes/ProfilerStub.php' );
 
 /**
  * To use a profiler, delete the line above and add something like this: