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 * require_once( dirname(__FILE__).'/includes/Profiler.php' );
10 * $wgProfiler = new Profiler;
12 * Or for a sampling profiler:
13 * if ( !mt_rand( 0, 100 ) ) {
14 * require_once( dirname(__FILE__).'/includes/Profiler.php' );
15 * $wgProfiler = new Profiler;
17 * require_once( dirname(__FILE__).'/includes/ProfilerStub.php' );
20 * Configuration of the profiler output can be done in LocalSettings.php