Merge bot PR

Update PhpStorm stubs #2411

Sign in to view logs

Triggered via pull request July 9, 2024 00:02

phpstan-bot

opened #3218

create-pull-request/patch-ts7xwrj

Status Success

Total duration 5m 41s

Artifacts –

merge-bot-pr.yml

on: pull_request