An enumeration implementation for PHP.