3 require_once( dirname(__FILE__).'/includes/ProfilerStub.php' );
6 * To use a profiler, copy this file to StartProfiler.php,
7 * delete the PHP line above, and add something like this:
9 * $wgProfiler['class'] = 'Profiler';
11 * Or for a sampling profiler:
12 * if ( !mt_rand( 0, 100 ) ) {
13 * $wgProfiler['class'] = 'Profiler';
15 * $wgProfiler['class'] = 'ProfilerStub';
18 * Configuration of the profiler output can be done in LocalSettings.php