Output of the "Checking if a PHP variable is an enumeration" PHP snippet