[Postponed] Add option to ignore covers annotation#5274

vodevel wants to merge 1 commit intosebastianbergmann:mainsebastianbergmann/phpunit:mainfrom

vodevel:ignore-covers-annotationvodevel/phpunit:ignore-covers-annotationCopy head branch name to clipboard