API: Fix profiling errors caused by calling wfProfileClose() from dieUsage()
[lhc/web/wiklou.git] / includes / templates / PHP4.php
2008-10-07 Brion VibberCleanup for r41713 PHP 4 warning page:
2008-10-06 Siebrand Mazeland* Fix left over from r41765. I am not pretending I...
2008-10-06 Tim Starling* Allow $wgDiff3=false