check_php_version() est devenue inutile

On ne vérifie plus la version de PHP qu'à un seul endroit depuis la fusion des anciens fichiers start.php et setup.inc.php