From 6544305702bbdfb391588e6de2dd985a98e992b9 Mon Sep 17 00:00:00 2001
From: Michele Locati <michele@locati.it>
Date: Tue, 14 Dec 2021 11:52:42 +0100
Subject: [PATCH] Support ds on PHP 8.1, fix DS on PHP 7.2- (#481)

* Support ds on PHP 8.1

* Fix installing DS on PHP 7.2-
---
 data/supported-extensions | 2 +-
 install-php-extensions    | 7 +++++++
 2 files changed, 8 insertions(+), 1 deletion(-)

diff --git a/data/supported-extensions b/data/supported-extensions
index 17e72e5..e982494 100644
--- a/data/supported-extensions
+++ b/data/supported-extensions
@@ -10,7 +10,7 @@ cmark 7.0 7.1 7.2 7.3 7.4
 csv 7.3 7.4 8.0 8.1
 dba 5.5 5.6 7.0 7.1 7.2 7.3 7.4 8.0 8.1
 decimal 7.0 7.1 7.2 7.3 7.4 8.0 8.1
-ds 7.0 7.1 7.2 7.3 7.4 8.0
+ds 7.0 7.1 7.2 7.3 7.4 8.0 8.1
 enchant 5.5 5.6 7.0 7.1 7.2 7.3 7.4 8.0 8.1
 ev 5.5 5.6 7.0 7.1 7.2 7.3 7.4 8.0 8.1
 event 5.5 5.6 7.0 7.1 7.2 7.3 7.4 8.0 8.1
diff --git a/install-php-extensions b/install-php-extensions
index 762a63c..ee10a76 100755
--- a/install-php-extensions
+++ b/install-php-extensions
@@ -2078,6 +2078,13 @@ installRemoteModule() {
 					;;
 			esac
 			;;
+		ds)
+			if test -z "$installRemoteModule_version"; then
+				if test $PHP_MAJMIN_VERSION -le 702; then
+					installRemoteModule_version=1.3.0
+				fi
+			fi
+			;;
 		event)
 			if test -z "$installRemoteModule_version" || test $(compareVersions "$installRemoteModule_version" 2.4.0) -ge 0; then
 				# Enable internal debugging in Event