public-mirrors
/
docker-php-extension-installer
mirror of https://github.com/mlocati/docker-php-extension-installer
1
0
Fork 0
Code

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
pull/863/head
Michele Locati 2023-12-19 19:11:17 +01:00 committed by GitHub
parent 8a3d8d2eed
commit fb2df34f35
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
data/supported-extensions
View File

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

4
install-php-extensions
View File

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