Fix installing mongodb on PHP 7.4, 8.0 (#1073)

pull/1075/head 2.7.27
Michele Locati 2025-02-28 11:51:41 +01:00 committed by GitHub
parent 4ca1bd4592
commit 132459eb53
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 2 additions and 0 deletions

View File

@ -3510,6 +3510,8 @@ installRemoteModule() {
installRemoteModule_version=1.11.1 installRemoteModule_version=1.11.1
elif test $PHP_MAJMIN_VERSION -le 703; then elif test $PHP_MAJMIN_VERSION -le 703; then
installRemoteModule_version=1.16.2 installRemoteModule_version=1.16.2
elif test $PHP_MAJMIN_VERSION -le 800; then
installRemoteModule_version=1.20.1
fi fi
fi fi
if test -z "$installRemoteModule_version" || test $(compareVersions "$installRemoteModule_version" 1.17.0) -ge 0; then if test -z "$installRemoteModule_version" || test $(compareVersions "$installRemoteModule_version" 1.17.0) -ge 0; then