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