devel/phpunit13: Update to 13.1.12
Changes: https://github.com/sebastianbergmann/phpunit/blob/13.1/ChangeLog-13.1.md