mlocati opened this issue a year ago · 0 comments
With PHP 8.3 RC5 (2023-10-26), xmldiff should work again.