diff --git a/html/install.php b/html/install.php index bd9b51ba7..ff3f54ed3 100644 --- a/html/install.php +++ b/html/install.php @@ -376,15 +376,10 @@ $fatal=0; //------------------------------------------------------------------------------ // PHP Version //------------------------------------------------------------------------------ -if (!defined('PHP_VERSION_ID')) { - $version = explode('.',PHP_VERSION); - - define('PHP_VERSION_ID', ($version[0] * 10000 + $version[1] * 100 )); -} /** * Minimum version = 8.2 == 80200 */ -if ( PHP_VERSION_ID < 80200) { +if (!defined('PHP_VERSION_ID') || PHP_VERSION_ID < 80200) { echo $g_failed. " ".phpversion()." ". _("Version PHP trop basse , minimum 8.2"); echo '
'; printf(_("Cette version nécessite au moins une version supérieure ou égale à 8.2"));