Implementation of the enumeration typo in PHP