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

pull/990/head
Michele Locati 2024-10-04 23:33:20 +02:00 committed by GitHub
parent cd2b7763ef
commit 7dd489b25c
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 3 additions and 1 deletions

View File

@ -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

View File

@ -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")"