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