| Index: trunk/phase3/StartProfiler.php |
| — | — | @@ -1,10 +1,7 @@ |
| 2 | 2 | <?php |
| 3 | 3 | |
| 4 | | -#require_once( dirname(__FILE__).'/includes/ProfilerStub.php' ); |
| | 4 | +require_once( dirname(__FILE__).'/includes/ProfilerStub.php' ); |
| 5 | 5 | |
| 6 | | - require_once( dirname(__FILE__).'/includes/Profiler.php' ); |
| 7 | | - $wgProfiler = new Profiler; |
| 8 | | - |
| 9 | 6 | /** |
| 10 | 7 | * To use a profiler, delete the line above and add something like this: |
| 11 | 8 | * |