rv r66366
[mediawiki.git] / StartProfiler.sample
blobf91aeb9281ce2b40b4e839e3cd271b29de75bc2f
1 <?php
3 require_once( dirname(__FILE__).'/includes/ProfilerStub.php' );
5 /**
6  * To use a profiler, copy this file to StartProfiler.php,
7  * delete the PHP line above, and add something like this:
8  *
9  *   require_once(  dirname(__FILE__).'/includes/Profiler.php' );
10  *   $wgProfiler = new Profiler;
11  *
12  * Or for a sampling profiler:
13  *   if ( !mt_rand( 0, 100 ) ) {
14  *       require_once(  dirname(__FILE__).'/includes/Profiler.php' );
15  *       $wgProfiler = new Profiler;
16  *   } else {
17  *       require_once(  dirname(__FILE__).'/includes/ProfilerStub.php' );
18  *   }
19  * 
20  * Configuration of the profiler output can be done in LocalSettings.php
21  */