From 9930171800ff6034324a73f30d3b583092263dfd Mon Sep 17 00:00:00 2001
From: Michele Locati <michele@locati.it>
Date: Fri, 31 Jul 2020 18:18:08 +0200
Subject: [PATCH] Use mondodb 1.7.5 for PHP 5.6

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

diff --git a/install-php-extensions b/install-php-extensions
index a3e075c..b7bb874 100755
--- a/install-php-extensions
+++ b/install-php-extensions
@@ -1125,6 +1125,8 @@ installPECLModule() {
 		mongodb)
 			if test $PHP_MAJMIN_VERSION -le 505; then
 				installPECLModule_actual="$1-1.5.5"
+			elif test $PHP_MAJMIN_VERSION -le 506; then
+				installPECLModule_actual="$1-1.7.5"
 			fi
 			;;
 		msgpack)