php-code-coverage is a stub port
