public-mirrors/docker-php-extension-installer
1
0
Fork 0
mirror of https://github.com/mlocati/docker-php-extension-installer synced 2025-05-09 16:42:41 +00:00
Code Activity

Fix installing ev on PHP < 8.0 (#969)

Browse source
This commit is contained in:
Michele Locati 2024-09-03 18:07:17 +02:00 • committed by GitHub
parent ac4b767236
commit 561f1d3338
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 7 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

7
install-php-extensions
View file

@ -3067,6 +3067,13 @@ installRemoteModule() {
installRemoteModule_version=alpha
fi
;;
ev)
if test -z "$installRemoteModule_version"; then
if test $PHP_MAJMIN_VERSION -lt 800; then
installRemoteModule_version=1.1.5
fi
fi
;;
event)
installRemoteModule_version="$(resolvePeclStabilityVersion "$installRemoteModule_module" "$installRemoteModule_version")"
if test -z "$installRemoteModule_version" || test $(compareVersions "$installRemoteModule_version" 2.4.0) -ge 0; then