diff --git a/html/install.php b/html/install.php index 308ae27bc..4f1ca1c87 100644 --- a/html/install.php +++ b/html/install.php @@ -358,11 +358,13 @@ if (!defined('PHP_VERSION_ID')) { define('PHP_VERSION_ID', ($version[0] * 10000 + $version[1] * 100 + $version[2])); } -if ( PHP_VERSION_ID < 70033) { - echo $g_failed. " ".phpversion." ". _("Version PHP trop basse , minimum 7.0.33"); - +if ( PHP_VERSION_ID < 70200) { + echo $g_failed. " ".phpversion()." ". _("Version PHP trop basse , minimum 7.2"); + echo '
'; + printf(_("Il est déconseillé de travailler avec une version < 7.2")); + echo '
'; } else { - echo $g_succeed. " ".phpversion(); + echo $g_succeed. " Version PHP ".phpversion(); } //ini_set("memory_limit","200M"); echo "