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

Use mongodb 1.9.2 on PHP 7.0
2021-07-14 17:28:10 +02:00 · 2021-07-14 17:28:10 +02:00 · 014c81f346
parent 7394863d61 805658d9e6
commit 014c81f346
1 changed files with 2 additions and 0 deletions
--- a/2
+++ b/2
@ -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
 			;;