diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2006-10-11 20:21:25 +0000 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2006-10-11 20:21:25 +0000 |
commit | d81f562b712f2387fa02290bf2ca86392ab356f2 (patch) | |
tree | d666cdefbe6ac320827a2c6cb473581b46e22c4c /StartProfiler.php | |
parent | 183851b06bd6c52f3cae5375f433da720d410447 (diff) |
Aktualisierung auf Version 1.8.1
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 + */ + +?> |