Custom code coverage driver support#6544

sebastianbergmann wants to merge 1 commit intomainsebastianbergmann/phpunit:mainfrom

feature/code-coverage-driver-configurationsebastianbergmann/phpunit:feature/code-coverage-driver-configurationCopy head branch name to clipboard