Closed mvorisek closed 2 years ago
fixes https://github.com/sebastianbergmann/php-code-coverage/issues/920
fixes https://github.com/sebastianbergmann/php-code-coverage/issues/920