From b3cabf993167e07912d5a7f9cd8c21f16aa9f76b Mon Sep 17 00:00:00 2001
From: Tim Starling <tstarling@users.mediawiki.org>
Date: Sun, 22 Jul 2007 15:07:54 +0000
Subject: [PATCH] rv again

---
 StartProfiler.php | 10 ++++------
 1 file changed, 4 insertions(+), 6 deletions(-)

diff --git a/StartProfiler.php b/StartProfiler.php
index 15c39da4f9..3fcf69e6e5 100644
--- a/StartProfiler.php
+++ b/StartProfiler.php
@@ -1,24 +1,22 @@
 <?php
 
-#require_once( './includes/ProfilerStub.php' );
+require_once( dirname(__FILE__).'/includes/ProfilerStub.php' );
 
 /**
  * To use a profiler, delete the line above and add something like this:
  *
- *   require_once( './includes/Profiler.php' );
+ *   require_once(  dirname(__FILE__).'/includes/Profiler.php' );
  *   $wgProfiler = new Profiler;
  *
  * Or for a sampling profiler:
  *   if ( !mt_rand( 0, 100 ) ) {
- *       require_once( './includes/Profiler.php' );
+ *       require_once(  dirname(__FILE__).'/includes/Profiler.php' );
  *       $wgProfiler = new Profiler;
  *   } else {
- *       require_once( './includes/ProfilerStub.php' );
+ *       require_once(  dirname(__FILE__).'/includes/ProfilerStub.php' );
  *   }
  * 
  * Configuration of the profiler output can be done in LocalSettings.php
  */
-require_once( dirname(__FILE__).'/includes/Profiler.php' );
-$wgProfiler = new Profiler;
 
 
-- 
2.20.1