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

JetBrains/phpstorm-stubs 2021.3 #873

Closed
kukulich opened this issue Nov 23, 2021 · 0 comments · Fixed by #876
Closed

JetBrains/phpstorm-stubs 2021.3 #873

kukulich opened this issue Nov 23, 2021 · 0 comments · Fixed by #876
Labels
dependencies Pull requests that update a dependency file enhancement php Pull requests that update Php code
Milestone
5.0.0

Comments

@kukulich
Copy link
Collaborator

https://twitter.com/phpstorm/status/1463104900628373507

We should wait and update before 5.0.0 release.
@Ocramius Ocramius added this to the 5.0.0 milestone Nov 23, 2021
@Ocramius Ocramius added dependencies Pull requests that update a dependency file enhancement php Pull requests that update Php code labels Nov 23, 2021
@kukulich kukulich mentioned this issue Nov 23, 2021
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
dependencies Pull requests that update a dependency file enhancement php Pull requests that update Php code
Projects
None yet
Milestone
5.0.0
Development

Successfully merging a pull request may close this issue.

jetbrains/phpstorm-stubs 2021.3 kukulich/BetterReflection
2 participants
@Ocramius @kukulich