More profiler cleanup:
authorChad Horohoe <demon@users.mediawiki.org>
Sat, 16 Apr 2011 19:00:54 +0000 (19:00 +0000)
committerChad Horohoe <demon@users.mediawiki.org>
Sat, 16 Apr 2011 19:00:54 +0000 (19:00 +0000)
commit5a6d1ee2d3f9cfed0413a07b3b364943c8991039
treee9263e80120fbf21b6f3781c1f16bb2796f8366e
parentc962c5c35c6a763b4e8ac8c6473dff4b554397a6
More profiler cleanup:
* Move autoloader up a little bit so the profiler classes can use it
* Make Profiler into a singleton so it's lazy-constructed, $wgProfiler is now a configuration array (used 'visible' in ProfilerSimpleText as an example of other globals we can move into this array). If $wgProfiler is set to an object, it'll use that for back-compat
* Maintenance: rather than setting up the profiler and then disabling it, just disable it from the start
* Kill $wgProfiling -> now that ProfilerStub overrides profileIn() and profileOut(), it's not needed
* dumpHTML needs some fixes still
RELEASE-NOTES
StartProfiler.sample
includes/WebStart.php
includes/profiler/Profiler.php
includes/profiler/ProfilerSimple.php
includes/profiler/ProfilerSimpleText.php
includes/profiler/ProfilerSimpleTrace.php
includes/profiler/ProfilerSimpleUDP.php
includes/profiler/ProfilerStub.php
maintenance/Maintenance.php
maintenance/doMaintenance.php