2019-03-24 UTC
# 
Loqi Jeremycherfas: Zegnat left you a message 1 day, 18 hours ago: For future reference: empty() actually includes the isset() check, which means you can always use that. According to the PHP manual: “empty() is essentially the concise equivalent to !isset($var) || $var == false”. (Note that $var == false takes care of the null case.)