Fix installing mongodb on PHP 7.1 (#483)

* Fix installing mongodb on PHP 7.1

Test: mongodb

* Run all docker images even if any of them fails

.github/workflows/test-recent-extensions.yml

@@ -34,6 +34,7 @@ jobs:
     runs-on: ubuntu-latest
     needs: determine_extension_list
     strategy:
+      fail-fast: false
       matrix:
         distro:
           - alpine3.7

install-php-extensions

@@ -2322,6 +2322,8 @@ installRemoteModule() {
 					installRemoteModule_version=1.7.5
 				elif test $PHP_MAJMIN_VERSION -le 700; then
 					installRemoteModule_version=1.9.2
+				elif test $PHP_MAJMIN_VERSION -le 701; then
+					installRemoteModule_version=1.11.1
 				fi
 			fi
 			;;