PHP 7.4: don't show unsupported warning

pull/48/head
Michele Locati 2019-10-10 21:15:39 +02:00
parent 96a5454b7f
commit a849660d77
No known key found for this signature in database
GPG Key ID: 98B7CE2E7234E28B
1 changed files with 1 additions and 1 deletions

View File

@ -536,7 +536,7 @@ stringInList () {
resetIFS resetIFS
PHP_MAJMIN_VERSION=$(getPHPMajorMinor) PHP_MAJMIN_VERSION=$(getPHPMajorMinor)
case "${PHP_MAJMIN_VERSION}" in case "${PHP_MAJMIN_VERSION}" in
506|700|701|702|703) 506|700|701|702|703|704)
;; ;;
*) *)
printf "### ERROR: Unsupported PHP version: %s.%s ###\n" $(( PHP_MAJMIN_VERSION / 100 )) $(( PHP_MAJMIN_VERSION % 100 )) printf "### ERROR: Unsupported PHP version: %s.%s ###\n" $(( PHP_MAJMIN_VERSION / 100 )) $(( PHP_MAJMIN_VERSION % 100 ))