aboutsummaryrefslogtreecommitdiffstats
path: root/StartProfiler.php
diff options
context:
space:
mode:
authorAndrew Garrett <werdna@users.mediawiki.org>2009-05-07 07:27:01 +0000
committerAndrew Garrett <werdna@users.mediawiki.org>2009-05-07 07:27:01 +0000
commit672f2cb42b35367755249ffd802b31b349cc5212 (patch)
tree6995d07a31c797025b4d50be0ec47dcffa226006 /StartProfiler.php
parentde0760246c82c1d991acbcca5d5d9681125ec0ff (diff)
downloadmediawikicore-672f2cb42b35367755249ffd802b31b349cc5212.tar.gz
mediawikicore-672f2cb42b35367755249ffd802b31b349cc5212.zip
Remove StartProfiler.php, removed with no explanation in r50299, causing fatals on all installations.
Notes
Notes: http://mediawiki.org/wiki/Special:Code/MediaWiki/50300
Diffstat (limited to 'StartProfiler.php')
-rw-r--r--StartProfiler.php22
1 files changed, 22 insertions, 0 deletions
diff --git a/StartProfiler.php b/StartProfiler.php
new file mode 100644
index 000000000000..3fcf69e6e58b
--- /dev/null
+++ b/StartProfiler.php
@@ -0,0 +1,22 @@
+<?php
+
+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
+ */
+
+