<?php namespace jb\ludo; use precore\lang\Enum; final class Player extends Enum { public static $GREEN; public static $RED; public static $BLUE; public static $YELLOW; } Player::init(); // @codeCoverageIgnore