Manual:EnumDef.php