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 ;;