Merge pull request #390 from mlocati/mongodb-php7.0

Use mongodb 1.9.2 on PHP 7.0
mlocati · Jul 14, 2021 · 014c81f · 014c81f
2 parents 7394863 + 805658d
commit 014c81f
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/install-php-extensions b/install-php-extensions
@@ -1853,6 +1853,8 @@ installRemoteModule() {
 					installRemoteModule_version=1.5.5
 				elif test $PHP_MAJMIN_VERSION -le 506; then
 					installRemoteModule_version=1.7.5
+				elif test $PHP_MAJMIN_VERSION -le 700; then
+					installRemoteModule_version=1.9.2
 				fi
 			fi
 			;;