Closed mvorisek closed 2 years ago
fixes https://github.com/sebastianbergmann/phpunit/pull/5010 and https://github.com/sebastianbergmann/php-code-coverage/issues/921#issuecomment-1177377309
fixes https://github.com/sebastianbergmann/phpunit/pull/5010 and https://github.com/sebastianbergmann/php-code-coverage/issues/921#issuecomment-1177377309