Add option to ignore @covers annotation #986

vodevel wants to merge 1 commit intosebastianbergmann:mainsebastianbergmann/php-code-coverage:mainfrom

vodevel:ignore-covers-annotationvodevel/php-code-coverage:ignore-covers-annotationCopy head branch name to clipboard