diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2010-07-28 11:52:48 +0200 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2010-07-28 11:52:48 +0200 |
| commit | 222b01f5169f1c7e69762e0e8904c24f78f71882 (patch) | |
| tree | 8e932e12546bb991357ec48eb1638d1770be7a35 /StartProfiler.sample | |
| parent | 00ab76a6b686e98a914afc1975812d2b1aaa7016 (diff) | |
update to MediaWiki 1.16.0
Diffstat (limited to 'StartProfiler.sample')
| -rw-r--r-- | StartProfiler.sample | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/StartProfiler.sample b/StartProfiler.sample new file mode 100644 index 00000000..f91aeb92 --- /dev/null +++ b/StartProfiler.sample @@ -0,0 +1,23 @@ +<?php + +require_once( dirname(__FILE__).'/includes/ProfilerStub.php' ); + +/** + * To use a profiler, copy this file to StartProfiler.php, + * delete the PHP 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 + */ + + |