HF RL Explorer

False positive "undefined variable" inside elseif branch when the condition uses isset

False positive "undefined variable" inside elseif branch when the condition uses isset: a task in MiMo-V2.6-RL-harbor-code: MiMo-V2.6-RL Code (Harbor) (Harbor dataset). I'm running noverify on a fairly small PHP file and it's flagging variables as undefined in an elseif branch even though I…

The task

I'm running noverify on a fairly small PHP file and it's flagging variables as undefined in an `elseif` branch even though I clearly guard them with `isset` in that same `elseif`'s condition.

Part of FineEnvs/MiMo-V2.6-RL-harbor-code.