Leftover from a563bb56d599d327efaa93498caeaad8e50989dd
Leftover from a563bb56d599d327efaa93498caeaad8e50989dd

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