redis: add support for PHP 8.4, fix installing on PHP 7.2/7.3 (#989)

mlocati · Oct 4, 2024 · 7dd489b · 7dd489b
1 parent cd2b776
commit 7dd489b
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/data/supported-extensions b/data/supported-extensions
@@ -92,7 +92,7 @@ pthreads 5.5 5.6 7.0
 raphf 5.5 5.6 7.0 7.1 7.2 7.3 7.4 8.0 8.1 8.2 8.3 8.4
 rdkafka 5.5 5.6 7.0 7.1 7.2 7.3 7.4 8.0 8.1 8.2 8.3 8.4
 recode 5.5 5.6 7.0 7.1 7.2 7.3
-redis 5.5 5.6 7.0 7.1 7.2 7.3 7.4 8.0 8.1 8.2 8.3
+redis 5.5 5.6 7.0 7.1 7.2 7.3 7.4 8.0 8.1 8.2 8.3 8.4
 relay 7.4 8.0 8.1 8.2 8.3
 saxon 7.0 7.1 7.2 7.3 7.4 8.0 8.1 8.2 8.3 8.4
 seasclick 5.5 5.6 7.0 7.1 7.2 7.3 7.4 8.0 8.1 8.2 8.3 8.4

diff --git a/install-php-extensions b/install-php-extensions
@@ -3729,6 +3729,8 @@ installRemoteModule() {
 					installRemoteModule_version=4.3.0
 				elif test $PHP_MAJMIN_VERSION -le 701; then
 					installRemoteModule_version=5.3.7
+				elif test $PHP_MAJMIN_VERSION -le 703; then
+					installRemoteModule_version=6.0.2
 				fi
 			else
 				installRemoteModule_version="$(resolvePeclStabilityVersion "$installRemoteModule_module" "$installRemoteModule_version")"