Follow up on 505bcb4f42c03b825198b0cdbe017b572dbde548 and https://github.com/sebastianbergmann/php-code-coverage/pull/783#discussion_r460552359
Follow up on 505bcb4f42c03b825198b0cdbe017b572dbde548 and https://github.com/sebastianbergmann/php-code-coverage/pull/783#discussion_r460552359

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