Enum type for PHP