title: array_key_exists($key, $array) vs !empty($array[$key])
body: <p>I've seen a lot of people do the former, is there any performance benefit doing one vs the other? Or is it just an eye candy? I personally use the latter every time as it is shorter and personally more readable to me.</p>