diff options
author | Andrew Garrett <werdna@users.mediawiki.org> | 2009-05-07 07:27:01 +0000 |
---|---|---|
committer | Andrew Garrett <werdna@users.mediawiki.org> | 2009-05-07 07:27:01 +0000 |
commit | 672f2cb42b35367755249ffd802b31b349cc5212 (patch) | |
tree | 6995d07a31c797025b4d50be0ec47dcffa226006 /StartProfiler.php | |
parent | de0760246c82c1d991acbcca5d5d9681125ec0ff (diff) | |
download | mediawikicore-672f2cb42b35367755249ffd802b31b349cc5212.tar.gz mediawikicore-672f2cb42b35367755249ffd802b31b349cc5212.zip |
Remove StartProfiler.php, removed with no explanation in r50299, causing fatals on all installations.
Notes
Notes:
http://mediawiki.org/wiki/Special:Code/MediaWiki/50300
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 000000000000..3fcf69e6e58b --- /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 + */ + + |