More precise ignore_user_abort() return type#2489
Merged
ondrejmirtes merged 1 commit intophpstan:1.10.xfrom Jun 26, 2023
Merged
More precise ignore_user_abort() return type#2489ondrejmirtes merged 1 commit intophpstan:1.10.xfrom
ondrejmirtes merged 1 commit intophpstan:1.10.xfrom