StartProfiler.php

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