Applied PHPLint to the Enum.php class