| Index: trunk/phase3/StartProfiler.php |
| — | — | @@ -1,4 +1,22 @@ |
| 2 | 2 | <?php |
| 3 | 3 | |
| 4 | | -require_once( dirname(__FILE__).'/includes/Profiler.php' ); |
| 5 | | -$wgProfiler = new Profiler(); |
| \ No newline at end of file |
| | 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 | + |