Remove php-code-coverage