StartProfiler.sample

   1 <?php
   2
   3 /**
   4  * To use a profiler, copy this file to StartProfiler.php,
   5  * and add something like this:
   6  *
   7  *   $wgProfiler['class'] = 'Profiler';
   8  *
   9  * Or for a sampling profiler:
  10  *   if ( !mt_rand( 0, 100 ) ) {
  11  *       $wgProfiler['class'] = 'Profiler';
  12  *   } else {
  13  *       $wgProfiler['class'] = 'ProfilerStub';
  14  *   }
  15  *
  16  * Configuration of the profiler output can be done in LocalSettings.php
  17  */