From fb2df34f35c945ac90a7848777a40e7c61a82edb Mon Sep 17 00:00:00 2001
From: Michele Locati <michele@locati.it>
Date: Tue, 19 Dec 2023 19:11:17 +0100
Subject: [PATCH] ds: add support for PHP 8.3, fix installing on PHP 7.3 (#860)

* Add support for ds on PHP 8.3

* Fix installing DS on PHP 7.3
---
 data/supported-extensions | 2 +-
 install-php-extensions    | 4 +++-
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/data/supported-extensions b/data/supported-extensions
index bcdb3e2..5c268c7 100644
--- a/data/supported-extensions
+++ b/data/supported-extensions
@@ -13,7 +13,7 @@ csv 7.3 7.4 8.0 8.1 8.2 8.3
 dba 5.5 5.6 7.0 7.1 7.2 7.3 7.4 8.0 8.1 8.2 8.3
 ddtrace 5.6 7.0 7.1 7.2 7.3 7.4 8.0 8.1 8.2 8.3
 decimal 7.0 7.1 7.2 7.3 7.4 8.0 8.1 8.2 8.3
-ds 7.0 7.1 7.2 7.3 7.4 8.0 8.1 8.2
+ds 7.0 7.1 7.2 7.3 7.4 8.0 8.1 8.2 8.3
 ecma_intl 8.2 8.3
 enchant 5.5 5.6 7.0 7.1 7.2 7.3 7.4 8.0 8.1 8.2 8.3
 ev 5.5 5.6 7.0 7.1 7.2 7.3 7.4 8.0 8.1 8.2 8.3
diff --git a/install-php-extensions b/install-php-extensions
index 920637f..eca7df2 100755
--- a/install-php-extensions
+++ b/install-php-extensions
@@ -2768,8 +2768,10 @@ installRemoteModule() {
 			;;
 		ds)
 			if test -z "$installRemoteModule_version"; then
-				if test $PHP_MAJMIN_VERSION -le 702; then
+				if test $PHP_MAJMIN_VERSION -lt 703; then
 					installRemoteModule_version=1.3.0
+				elif test $PHP_MAJMIN_VERSION -lt 704; then
+					installRemoteModule_version=1.4.0
 				fi
 			fi
 			;;