4 * To use a profiler, copy this file to StartProfiler.php,
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'
14 * // Supports the debugging toolbar
15 * // Does not store profiling information in the database
16 * $wgProfiler['class'] = 'ProfilerStandard';
18 * Or for a sampling profiler:
19 * if ( !mt_rand( 0, 100 ) ) {
20 * $wgProfiler['class'] = 'ProfilerSimpleDB';
22 * $wgProfiler['class'] = 'ProfilerStub';
25 * Configuration of the profiler output can be done in LocalSettings.php