Install latest version of zookeeper on PHP 7.0 too (#718)

pull/720/head 2.1.8
Michele Locati 2023-03-09 12:05:35 +01:00 committed by GitHub
parent 754abb72d7
commit eff33351f6
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 2 deletions

View File

@ -3646,8 +3646,6 @@ installRemoteModule() {
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
installRemoteModule_version=0.5.0 installRemoteModule_version=0.5.0
elif test $PHP_MAJMIN_VERSION -le 700; then
installRemoteModule_version=1.0.0
else else
installRemoteModule_version=alpha installRemoteModule_version=alpha
fi fi