Use new $required_php_version global
|Reported by:||nacin||Owned by:|
We created $required_php_version, so we might as well use it where we can. Already done for $required_mysql_version in .
We're moving down the PHP check in wp-settings.php, but I don't think that should be a problem. Other option is to move up the WPINC define.