array_rand() requires a non-empty-array as of php8#4397
Merged
ondrejmirtes merged 4 commits intophpstan:2.1.xfrom Oct 6, 2025
Merged
array_rand() requires a non-empty-array as of php8#4397ondrejmirtes merged 4 commits intophpstan:2.1.xfrom
ondrejmirtes merged 4 commits intophpstan:2.1.xfrom