Implementation of the enumeration type in PHP