[Summary view] [Print] [Text view]

   1  <?php
   2  
   3  /**
   4   * To use a profiler, copy this file to StartProfiler.php,
   5   * and add either:
   6   *
   7   *   // Does not support the debugging toolbar
   8   *   // Stores profiling information in the database
   9   *   // Requires running maintenance/archives/patch-profiling.sql
  10   *   $wgProfiler['class'] = 'ProfilerSimpleDB'
  11   *
  12   * or:
  13   *
  14   *   // Supports the debugging toolbar
  15   *   // Does not store profiling information in the database
  16   *   $wgProfiler['class'] = 'ProfilerStandard';
  17   *
  18   * Or for a sampling profiler:
  19   *   if ( !mt_rand( 0, 100 ) ) {
  20   *       $wgProfiler['class'] = 'ProfilerSimpleDB';
  21   *   } else {
  22   *       $wgProfiler['class'] = 'ProfilerStub';
  23   *   }
  24   *
  25   * Configuration of the profiler output can be done in LocalSettings.php
  26   */