A simple enum for PHP