Skip to content

Update PhpStorm stubs#3733

Merged
ondrejmirtes merged 1 commit into2.0.xfrom
create-pull-request/patch-826it94
Dec 15, 2024
Merged

Update PhpStorm stubs#3733
ondrejmirtes merged 1 commit into2.0.xfrom
create-pull-request/patch-826it94

Conversation

@phpstan-bot
Copy link
Copy Markdown
Collaborator

Update PhpStorm stubs

@ondrejmirtes ondrejmirtes merged commit de0553c into 2.0.x Dec 15, 2024
@ondrejmirtes ondrejmirtes deleted the create-pull-request/patch-826it94 branch December 15, 2024 13:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants