Skip to content

Update PhpStorm stubs#3989

Merged
ondrejmirtes merged 1 commit into2.1.xfrom
create-pull-request/patch-7zztw7c
May 13, 2025
Merged

Update PhpStorm stubs#3989
ondrejmirtes merged 1 commit into2.1.xfrom
create-pull-request/patch-7zztw7c

Conversation

@phpstan-bot
Copy link
Collaborator

Update PhpStorm stubs

@ondrejmirtes ondrejmirtes merged commit 8db230f into 2.1.x May 13, 2025
415 of 418 checks passed
@ondrejmirtes ondrejmirtes deleted the create-pull-request/patch-7zztw7c branch May 13, 2025 13:28
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