code coverage information for PHP
