From 805658d9e62e5f535013996d2b94a211cab7c3d8 Mon Sep 17 00:00:00 2001
From: Michele Locati <michele@locati.it>
Date: Wed, 14 Jul 2021 17:10:55 +0200
Subject: [PATCH] Use mongodb 1.9.2 on PHP 7.0

Test: mongodb
---
 install-php-extensions | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/install-php-extensions b/install-php-extensions
index be283bd..9d15381 100755
--- 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
 			;;