| Index: trunk/phase3/StartProfiler.php |
| — | — | @@ -0,0 +1,22 @@ |
| | 2 | +<?php |
| | 3 | + |
| | 4 | +require_once( dirname(__FILE__).'/includes/ProfilerStub.php' ); |
| | 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 | + |