diff options
Diffstat (limited to 'StartProfiler.php')
| -rw-r--r-- | StartProfiler.php | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/StartProfiler.php b/StartProfiler.php new file mode 100644 index 00000000..8fc3ff88 --- /dev/null +++ b/StartProfiler.php @@ -0,0 +1,22 @@ +<?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 + */ + +?> |