add php-type