From a849660d77574530898873793ca281b6cdebf374 Mon Sep 17 00:00:00 2001
From: Michele Locati <michele@locati.it>
Date: Thu, 10 Oct 2019 21:15:39 +0200
Subject: [PATCH] PHP 7.4: don't show unsupported warning

---
 install-php-extensions | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/install-php-extensions b/install-php-extensions
index 70d46df..10f8299 100755
--- a/install-php-extensions
+++ b/install-php-extensions
@@ -536,7 +536,7 @@ stringInList () {
 resetIFS
 PHP_MAJMIN_VERSION=$(getPHPMajorMinor)
 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 ))