wiki.techinc.nl/StartProfiler.php
Tim Starling b3cabf9931 rv again
2007-07-22 15:07:54 +00:00

22 lines
603 B
PHP

<?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
*/