-
-
Couldn't load subscription status.
- Fork 4.6k
Hello psalm #21787
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.
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
Hello psalm #21787
Conversation
6696326 to
3f2d081
Compare
449ef09 to
e39e4c9
Compare
|
How nice is this? 😍 👍 |
|
Yep. PHPStorm is going to add support for Psalm soon: https://blog.jetbrains.com/phpstorm/2020/07/phpstan-and-psalm-support-coming-to-phpstorm/. I'm not sure yet how to continue with this PR. I fixed some errors or added rules to suppress them (like the global template variables There are some false positives left. But others warning are legit. To continue and merge this PR we could set a baseline (https://psalm.dev/docs/running_psalm/dealing_with_code_issues/#using-a-baseline-file) with the current errors. With the risk that no one will fix the existing issues ;) |
7a2bcab to
01ff8fc
Compare
I guess that is the only way to go for now. |
c7505e3 to
87ef70b
Compare
250d2cd to
c06110c
Compare
Ref #21787 Signed-off-by: Morris Jobke <hey@morrisjobke.de>
Ref #21787 Signed-off-by: Morris Jobke <hey@morrisjobke.de>
Ref #21787 Signed-off-by: Morris Jobke <hey@morrisjobke.de>
Mind to do this now and then we could merge this :) |
|
I thought it was a dashboard widget to display Psalm quotes 😁 |
Signed-off-by: Daniel Kesselberg <mail@danielkesselberg.de>
Signed-off-by: Daniel Kesselberg <mail@danielkesselberg.de>
for some reason they are not loaded by default. Signed-off-by: Daniel Kesselberg <mail@danielkesselberg.de>
|
Using stubs found some inconsistencies between the stub and the actual implementation:
I will open more PRs there. |
940db3d to
977aace
Compare
Signed-off-by: Morris Jobke <hey@morrisjobke.de>
Signed-off-by: Morris Jobke <hey@morrisjobke.de>
Signed-off-by: Morris Jobke <hey@morrisjobke.de>
* JetBrains/phpstorm-stubs#893 * JetBrains/phpstorm-stubs#894 * JetBrains/phpstorm-stubs#895 * JetBrains/phpstorm-stubs#896 Signed-off-by: Morris Jobke <hey@morrisjobke.de>
…heck Signed-off-by: Morris Jobke <hey@morrisjobke.de>
810f0f6 to
42bb6cd
Compare
|
Here it is - the final rebase that squashed all the fixups into the proper commits. It now also warns about not checked in fixes (so if we fix something it also states that the baseline should be updated). |
| 'ocs', | ||
| 'package-lock.json', | ||
| 'package.json', | ||
| 'psalm.xml', |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
We don't need psalm baseline here?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
No - because it's in the build/ folder which is deleted already. Only new files in the root need to be checked if the release script should either delete them or keep them. I went for the "delete the psalm.xml in the release" way. :)
Ref #21787 Signed-off-by: Morris Jobke <hey@morrisjobke.de>
Signed-off-by: Daniel Kesselberg mail@danielkesselberg.de