Re-add support for xmldiff on PHP 8.3 (#821)

pull/827/head
Niels Dossche 2023-10-31 17:42:09 +00:00 committed by GitHub
parent 582be29f3f
commit 244407bc8f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 2 deletions

View File

@ -128,7 +128,7 @@ xdebug 5.5 5.6 7.0 7.1 7.2 7.3 7.4 8.0 8.1 8.2
xdiff 5.5 5.6 7.0 7.1 7.2 7.3 7.4 8.0 8.1 8.2 8.3
xhprof 5.5 5.6 7.0 7.1 7.2 7.3 7.4 8.0 8.1 8.2 8.3
xlswriter 7.0 7.1 7.2 7.3 7.4 8.0 8.1 8.2 8.3
xmldiff 5.5 5.6 7.0 7.1 7.2 7.3 7.4 8.0 8.1 8.2
xmldiff 5.5 5.6 7.0 7.1 7.2 7.3 7.4 8.0 8.1 8.2 8.3
xmlrpc 5.5 5.6 7.0 7.1 7.2 7.3 7.4 8.0 8.1 8.2 8.3
xsl 5.5 5.6 7.0 7.1 7.2 7.3 7.4 8.0 8.1 8.2 8.3
yac 7.0 7.1 7.2 7.3 7.4 8.0 8.1 8.2 8.3

View File

@ -23,7 +23,7 @@ set -o nounset
# $2: the PHP version
shouldProcessPhpVersionForDistro() {
case "$2@$1" in
8.1@alpine3.12)
8.1@alpine3.12 | 8.3@buster)
return 1
;;
*)