3 #require_once( dirname(__FILE__).'/includes/ProfilerStub.php' );
5 require_once( dirname(__FILE__
).'/includes/Profiler.php' );
6 $wgProfiler = new Profiler
;
9 * To use a profiler, delete the line above and add something like this:
11 * require_once( dirname(__FILE__).'/includes/Profiler.php' );
12 * $wgProfiler = new Profiler;
14 * Or for a sampling profiler:
15 * if ( !mt_rand( 0, 100 ) ) {
16 * require_once( dirname(__FILE__).'/includes/Profiler.php' );
17 * $wgProfiler = new Profiler;
19 * require_once( dirname(__FILE__).'/includes/ProfilerStub.php' );
22 * Configuration of the profiler output can be done in LocalSettings.php