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.

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

Update JetBrains PhpStorm stubs to 2022.1 #5356

Merged
merged 1 commit into from
Apr 15, 2022

Conversation

morozov
Copy link
Member

@morozov morozov commented Apr 14, 2022

No description provided.

@morozov morozov force-pushed the phpstorm-stubs-2022.1 branch from f41f3c1 to 5427fa8 Compare April 14, 2022 21:09
@morozov morozov requested review from greg0ire and derrabus April 14, 2022 21:51
@derrabus derrabus merged commit 4e474b0 into doctrine:3.3.x Apr 15, 2022
@morozov morozov deleted the phpstorm-stubs-2022.1 branch April 15, 2022 05:12
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Apr 16, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants