Skip to content

[6.x] Rename phpunit.xml.dist to phpunit.dist.xml#14930

Merged
jasonvarga merged 1 commit into
6.xfrom
worktree-rename-phpunit-dist
Jul 3, 2026
Merged

[6.x] Rename phpunit.xml.dist to phpunit.dist.xml#14930
jasonvarga merged 1 commit into
6.xfrom
worktree-rename-phpunit-dist

Conversation

@jasonvarga

@jasonvarga jasonvarga commented Jul 3, 2026

Copy link
Copy Markdown
Member

PHPUnit supports phpunit.dist.xml as an alternative to phpunit.xml.dist, which gives editors better language/tooling support via the natural .xml extension.

While doing the #14925 PR, the .neon.dist wasn't triggering syntax highlighting in PHPStorm. Saw that the .dist.neon alternative was available. Turns out it's available for PHPUnit too, so for consistency, why not.

@jasonvarga jasonvarga merged commit 453d79a into 6.x Jul 3, 2026
25 checks passed
@jasonvarga jasonvarga deleted the worktree-rename-phpunit-dist branch July 3, 2026 15:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant