[php] Why check both isset() and !empty()