StartProfiler.php

   1 <?php
   2
   3 require_once(  dirname(__FILE__).'/includes/Profiler.php' );
   4 $wgProfiler = new Profiler;
   5
   6 /**
   7  * To use a profiler, delete the 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  */
  22
  23