StartProfiler.sample

   1 <?php
   2
   3 require_once( dirname( __FILE__ ) . '/includes/profiler/ProfilerStub.php' );
   4
   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  *   $wgProfiler['class'] = 'Profiler';
  10  *
  11  * Or for a sampling profiler:
  12  *   if ( !mt_rand( 0, 100 ) ) {
  13  *       $wgProfiler['class'] = 'Profiler';
  14  *   } else {
  15  *       $wgProfiler['class'] = 'ProfilerStub';
  16  *   }
  17  *
  18  * Configuration of the profiler output can be done in LocalSettings.php
  19  */
  20
  21