Backport 399667940795f62d4b9430d3748404dab50c2d19
Backport 399667940795f62d4b9430d3748404dab50c2d19

sebastianbergmann/php-code-coverage,sebastianbergmann/php-code-coverage,sebastianbergmann/php-code-coverage