profiling improvements and bug fixes
authorTim Starling <tstarling@users.mediawiki.org>
Mon, 25 Jul 2005 07:00:20 +0000 (07:00 +0000)
committerTim Starling <tstarling@users.mediawiki.org>
Mon, 25 Jul 2005 07:00:20 +0000 (07:00 +0000)
commit7c900a732a6bfa2d060e28a4260591ff0ea69c14
treee831521519d3b8f93102cf20861e7b85ff4f6ef6
parent7e63648db43724f9ca216d4c5d07c13e060a4b6b
profiling improvements and bug fixes
includes/EditPage.php
includes/OutputPage.php
includes/Parser.php
includes/Profiling.php
includes/Setup.php