public-mirrors
/
docker-php-extension-installer
mirror of https://github.com/mlocati/docker-php-extension-installer
1
0
Fork 0
Code

Use latest excim version on PHP 7.1 too (#571)

pull/573/head 1.5.13
Michele Locati 2022-05-07 19:07:44 +02:00 committed by GitHub
parent 0197661f85
commit b2ce432910
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
install-php-extensions
View File

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