2009-05-07 07:27:01 +00:00
|
|
|
<?php
|
|
|
|
|
|
|
|
|
|
/**
|
2009-05-07 18:30:26 +00:00
|
|
|
* To use a profiler, copy this file to StartProfiler.php,
|
2011-05-31 06:05:05 +00:00
|
|
|
* and add something like this:
|
2009-05-07 07:27:01 +00:00
|
|
|
*
|
2011-04-16 19:00:54 +00:00
|
|
|
* $wgProfiler['class'] = 'Profiler';
|
2009-05-07 07:27:01 +00:00
|
|
|
*
|
|
|
|
|
* Or for a sampling profiler:
|
|
|
|
|
* if ( !mt_rand( 0, 100 ) ) {
|
2011-04-16 19:00:54 +00:00
|
|
|
* $wgProfiler['class'] = 'Profiler';
|
2009-05-07 07:27:01 +00:00
|
|
|
* } else {
|
2011-04-16 19:00:54 +00:00
|
|
|
* $wgProfiler['class'] = 'ProfilerStub';
|
2009-05-07 07:27:01 +00:00
|
|
|
* }
|
|
|
|
|
*
|
|
|
|
|
* Configuration of the profiler output can be done in LocalSettings.php
|
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
|