Merge pull request #25956 from totten/master-tap
authorSeamus Lee <seamuslee001@gmail.com>
Fri, 31 Mar 2023 23:28:30 +0000 (10:28 +1100)
committerGitHub <noreply@github.com>
Fri, 31 Mar 2023 23:28:30 +0000 (10:28 +1100)
(dev/core#4188) PHPUnit - Port TAP printer to v9.x


Trivial merge