Update PhpStorm stubs#4257

ondrejmirtes merged 1 commit into2.1.xphpstan/phpstan-src:2.1.xfrom

create-pull-request/patch-dxby80jphpstan/phpstan-src:create-pull-request/patch-dxby80jCopy head branch name to clipboard