From a0d2bd42a8e3651c2916198fce90b10b9848f25d Mon Sep 17 00:00:00 2001
From: Michele Locati <michele@locati.it>
Date: Wed, 15 Dec 2021 16:16:24 +0100
Subject: [PATCH] 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 | 1 +
 install-php-extensions                       | 2 ++
 2 files changed, 3 insertions(+)

diff --git a/.github/workflows/test-recent-extensions.yml b/.github/workflows/test-recent-extensions.yml
index c7456eb..c5986bc 100644
--- a/.github/workflows/test-recent-extensions.yml
+++ b/.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
diff --git a/install-php-extensions b/install-php-extensions
index ee10a76..c7bf734 100755
--- a/install-php-extensions
+++ b/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
 			;;