From 122141976c39c0d985262a170a4207b2b5136793 Mon Sep 17 00:00:00 2001
From: Michele Locati <michele@locati.it>
Date: Sun, 16 Feb 2020 14:44:47 +0100
Subject: [PATCH] Temporarily use old version of mongodb

See https://jira.mongodb.org/browse/CDRIVER-3541
---
 install-php-extensions | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/install-php-extensions b/install-php-extensions
index c14e588..8e51b80 100755
--- a/install-php-extensions
+++ b/install-php-extensions
@@ -1094,6 +1094,12 @@ installPECLModule() {
 		mongodb)
 			if test $1 -le 505; then
 				installPECLModule_actual="$2-1.5.5"
+			else
+				case "$(getDistro)" in
+					alpine)
+						installPECLModule_actual="$2-1.6.0"
+						;;
+				esac
 			fi
 			;;
 		msgpack)