We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
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
dir
Hi @orklah,
I run into the following issue
Directory|false|null
Directory|false
The previous type was introduced by @voku in #1541
I did some research, and it seems that the php doc was updated recently from Directory|false|null to Directory|false. php/doc-en#903
But I'm not sure which CallMap should be modified then...
The text was updated successfully, but these errors were encountered:
Hey @VincentLanglet, can you reproduce the issue on https://psalm.dev ?
Sorry, something went wrong.
It's changed in PHP 7.2: php/php-src@b71b128#diff-a6738c9e7e606e49fc4e7225c281deca86191ada31a5dc077169418541541d1cL218
Actually, in 8.0: https://3v4l.org/RfVEi, when ZPP started to throw. But since this was zpp-null, you need to drop null from all callmaps.
But since this was zpp-null, you need to drop null from all callmaps.
Did #7347 then
Successfully merging a pull request may close this issue.
Hi @orklah,
I run into the following issue
dir
to returnDirectory|false|null
dir
to returnDirectory|false
The previous type was introduced by @voku in #1541
I did some research, and it seems that the php doc was updated recently from
Directory|false|null
toDirectory|false
.php/doc-en#903
But I'm not sure which CallMap should be modified then...
The text was updated successfully, but these errors were encountered: