* move $wgProfiler init to Setup.php
authorDomas Mituzas <midom@users.mediawiki.org>
Sat, 24 Dec 2005 13:41:05 +0000 (13:41 +0000)
committerDomas Mituzas <midom@users.mediawiki.org>
Sat, 24 Dec 2005 13:41:05 +0000 (13:41 +0000)
commit214b9a8d4064671ded2eae2b06c11ad0ee41a7eb
treeaa470ab773f6d7a8fb9ff70de8a5434f056786a3
parenta3d86c4a0d1d4530265d294173d9077079a25c8c
* move $wgProfiler init to Setup.php
* allow specifying different profiler types
* add ProfilerSimple (that for now just builds in-memory profiling structure,
  may be extended to write it somewhere)
includes/DefaultSettings.php
includes/ProfilerSimple.php [new file with mode: 0755]
includes/Profiling.php
includes/Setup.php