is `php_class` the correct type? `php_class` allows dots which are not allowed for class-constants?