print php/phpunit type