summaryrefslogtreecommitdiff
path: root/StartProfiler.php
diff options
context:
space:
mode:
authorPierre Schmitz <pierre@archlinux.de>2006-10-11 20:21:25 +0000
committerPierre Schmitz <pierre@archlinux.de>2006-10-11 20:21:25 +0000
commitd81f562b712f2387fa02290bf2ca86392ab356f2 (patch)
treed666cdefbe6ac320827a2c6cb473581b46e22c4c /StartProfiler.php
parent183851b06bd6c52f3cae5375f433da720d410447 (diff)
Aktualisierung auf Version 1.8.1
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 00000000..8fc3ff88
--- /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
+ */
+
+?>