Improved the Cobertura coverage report#957

jhoffland wants to merge 1 commit intosebastianbergmann:9.2sebastianbergmann/php-code-coverage:9.2from

jhoffland:improved-cobertura-reportjhoffland/php-code-coverage:improved-cobertura-reportCopy head branch name to clipboard