From 9b2fc33b6ac33934c5f3af738f2682e0019d052c Mon Sep 17 00:00:00 2001
From: Michele Locati <michele@locati.it>
Date: Sat, 14 Oct 2023 10:22:21 +0200
Subject: [PATCH] Drop support for xmldiff on PHP 8.3 (#816)

---
 data/supported-extensions | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/data/supported-extensions b/data/supported-extensions
index d035360..6a160ed 100644
--- 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 8.3
+xmldiff 5.5 5.6 7.0 7.1 7.2 7.3 7.4 8.0 8.1 8.2
 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