Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

json error format does not contain tip messages #8022

Closed
staabm opened this issue Sep 16, 2022 · 3 comments · Fixed by phpstan/phpstan-src#1727
Closed

json error format does not contain tip messages #8022

staabm opened this issue Sep 16, 2022 · 3 comments · Fixed by phpstan/phpstan-src#1727
Labels
feature-request

Comments

@staabm
Copy link
Contributor

staabm commented Sep 16, 2022 •
edited

Feature request

I am processing phpstan errors with a separate tool. it works very well so far.

I stumbled over the problem though, that the json format does not contain tip messages from rule-errors.. is this expected?
@staabm staabm mentioned this issue Sep 16, 2022
Closed
@ondrejmirtes
Copy link
Member

It could be added easily. I'm gonna need it for the playground anyway.

@staabm
Copy link
Contributor Author

staabm commented Sep 16, 2022

ok cool, will work on it then. thx

@staabm staabm mentioned this issue Sep 17, 2022
Merged
@github-actions
Copy link

github-actions bot commented Nov 4, 2022

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.

@github-actions github-actions bot locked as resolved and limited conversation to collaborators Nov 4, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
feature-request
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Add tip message to JSON error formatter staabm/phpstan-src
2 participants
@ondrejmirtes @staabm