Skip to content

Comments

Update PhpStorm stubs#5036

Merged
ondrejmirtes merged 1 commit into2.1.xfrom
create-pull-request/patch-wyfp1km
Feb 24, 2026
Merged

Update PhpStorm stubs#5036
ondrejmirtes merged 1 commit into2.1.xfrom
create-pull-request/patch-wyfp1km

Conversation

@phpstan-bot
Copy link
Collaborator

Update PhpStorm stubs

@ondrejmirtes ondrejmirtes merged commit 2379dc1 into 2.1.x Feb 24, 2026
639 of 642 checks passed
@ondrejmirtes ondrejmirtes deleted the create-pull-request/patch-wyfp1km branch February 24, 2026 07:00
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