Update PhpStorm stubs#4493

phpstan-bot wants to merge 1 commit into2.1.xphpstan/phpstan-src:2.1.xfrom

create-pull-request/patch-117gr50phpstan/phpstan-src:create-pull-request/patch-117gr50Copy head branch name to clipboard