Remove some references to no longer supported PHP version.
authorSiebrand Mazeland <siebrand@users.mediawiki.org>
Sat, 2 Oct 2010 22:22:12 +0000 (22:22 +0000)
committerSiebrand Mazeland <siebrand@users.mediawiki.org>
Sat, 2 Oct 2010 22:22:12 +0000 (22:22 +0000)
commitd088f079e3bff9d51fd86ecf6067165743707376
treea0577a5a7fa54ec8348c2f3241498521323f8709
parente569920f818359927f63df4ee57077fb9c2cf51f
Remove some references to no longer supported PHP version.

Also add a FIXME for a check in DefaultSettings.php and fix indentation in install-utils.inc.
includes/Article.php
includes/DefaultSettings.php
includes/GlobalFunctions.php
includes/WebStart.php
includes/templates/PHP4.php
maintenance/Maintenance.php
maintenance/install-utils.inc
php5.php5