From 648d8d7b6c5c6911bf73fe9d2ae134cacfdf9f78 Mon Sep 17 00:00:00 2001
From: Rob Church <robchurch@users.mediawiki.org>
Date: Sat, 7 Jul 2007 05:02:18 +0000
Subject: [PATCH] sigh

---
 StartProfiler.php | 22 ++++++++++++++++++++--
 1 file changed, 20 insertions(+), 2 deletions(-)

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