From 3d4ce54d7deb1566d5e999d9f93bdfbd4654b08c Mon Sep 17 00:00:00 2001 From: Michele Locati Date: Tue, 7 Jan 2025 22:53:01 +0100 Subject: [PATCH] Add support for gearman on PHP 8.4 (#1043) * Add support for gearman on PHP 8.4 Signed-off-by: Romain Gautier * Fix installing gearman on PHP 7.0 --------- Signed-off-by: Romain Gautier Co-authored-by: Romain Gautier --- data/supported-extensions | 2 +- install-php-extensions | 2 ++ 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/data/supported-extensions b/data/supported-extensions index fda924d..0360ad8 100644 --- a/data/supported-extensions +++ b/data/supported-extensions @@ -24,7 +24,7 @@ exif 5.5 5.6 7.0 7.1 7.2 7.3 7.4 8.0 8.1 8.2 8.3 8.4 ffi 7.4 8.0 8.1 8.2 8.3 8.4 ftp 8.2 8.3 8.4 gd 5.5 5.6 7.0 7.1 7.2 7.3 7.4 8.0 8.1 8.2 8.3 8.4 -gearman 5.5 5.6 7.0 7.1 7.2 7.3 7.4 8.0 8.1 8.2 8.3 +gearman 5.5 5.6 7.0 7.1 7.2 7.3 7.4 8.0 8.1 8.2 8.3 8.4 geoip 5.5 5.6 7.0 7.1 7.2 7.3 7.4 geos 5.5 5.6 7.0 7.1 7.2 7.3 7.4 8.0 8.1 8.2 8.3 8.4 geospatial 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 index 9bd676b..e70c619 100755 --- a/install-php-extensions +++ b/install-php-extensions @@ -3189,6 +3189,8 @@ installRemoteModule() { if test -z "$installRemoteModule_version"; then if test $PHP_MAJMIN_VERSION -le 506; then installRemoteModule_version=1.1.2 + elif test $PHP_MAJMIN_VERSION -le 700; then + installRemoteModule_version=2.1.3 fi fi case "$DISTRO" in