+++ /dev/null
-<?php
-
-require_once( dirname(__FILE__).'/includes/ProfilerStub.php' );
-
-/**
- * To use a profiler, delete the line above and add something like this:
- *
- * require_once( dirname(__FILE__).'/includes/Profiler.php' );
- * $wgProfiler = new Profiler;
- *
- * Or for a sampling profiler:
- * if ( !mt_rand( 0, 100 ) ) {
- * require_once( dirname(__FILE__).'/includes/Profiler.php' );
- * $wgProfiler = new Profiler;
- * } else {
- * require_once( dirname(__FILE__).'/includes/ProfilerStub.php' );
- * }
- *
- * Configuration of the profiler output can be done in LocalSettings.php
- */
-
-