diff options
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 + */ + + |