Install newer excimer versions on PHP 7.1-7.3 too (#720)

pull/721/head 2.1.9
Michele Locati 2023-03-14 10:14:56 +01:00 committed by GitHub
parent aec3818fd8
commit b27f9786b8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 7 deletions

View File

@ -2682,13 +2682,6 @@ installRemoteModule() {
# event must be loaded after sockets # event must be loaded after sockets
installRemoteModule_ini_basename="xx-php-ext-$installRemoteModule_module" installRemoteModule_ini_basename="xx-php-ext-$installRemoteModule_module"
;; ;;
excimer)
if test -z "$installRemoteModule_version"; then
if test "$DISTRO" = alpine && test $PHP_MAJMIN_VERSION -le 703; then
installRemoteModule_version=1.0.4
fi
fi
;;
gearman) gearman)
if test -z "$installRemoteModule_version"; then if test -z "$installRemoteModule_version"; then
if test $PHP_MAJMIN_VERSION -le 506; then if test $PHP_MAJMIN_VERSION -le 506; then