Skip to content

phpstan: Rename config to use dist suffix#889

Merged
jtojnar merged 1 commit intomasterfrom
wip/jtojnar/phpstan-neon-dist
Sep 29, 2024
Merged

phpstan: Rename config to use dist suffix#889
jtojnar merged 1 commit intomasterfrom
wip/jtojnar/phpstan-neon-dist

Conversation

@jtojnar
Copy link
Member

@jtojnar jtojnar commented Sep 29, 2024

This allows developer to create their own own config file, e.g. for setting editorUrl:
https://phpstan.org/user-guide/output-format#opening-file-in-an-editor

This allows developer to create their own own config file, e.g. for setting `editorUrl`:
https://phpstan.org/user-guide/output-format#opening-file-in-an-editor
@jtojnar jtojnar marked this pull request as draft September 29, 2024 14:48
@jtojnar jtojnar marked this pull request as ready for review September 29, 2024 16:06
@jtojnar jtojnar requested a review from Art4 September 29, 2024 16:24
@jtojnar jtojnar mentioned this pull request Sep 29, 2024
4 tasks
@jtojnar jtojnar merged commit 77d89e6 into master Sep 29, 2024
@jtojnar jtojnar deleted the wip/jtojnar/phpstan-neon-dist branch September 29, 2024 18:35
@Art4 Art4 added this to the 1.9.0 milestone Sep 30, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants