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

vdlp · Oct 31, 2023 · 244407b · 244407b
1 parent 582be29
commit 244407b
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/data/supported-extensions b/data/supported-extensions
@@ -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

diff --git a/scripts/ci-test-extensions b/scripts/ci-test-extensions
@@ -23,7 +23,7 @@ set -o nounset
 # $2: the PHP version
 shouldProcessPhpVersionForDistro() {
 	case "$2@$1" in
-		[email protected])
+		[email protected] | 8.3@buster)
 			return 1
 			;;
 		*)