Redirecting to https://github.com/sebastianbergmann/php-code-coverage/pull/964