Truthy isset($arr[$k])
should narrow $k
#16333
This job was skipped
Loading
isset($arr[$k])
should narrow $k
#16333