Ben Ramsey on Nostr: So, the final word on this is that the `@\codeCoverageIgnore`, ...

So, the final word on this is that the `@\codeCoverageIgnore`, `@\codeCoverageIgnoreStart`, and `@\codeCoverageIgnoreEnd` annotations are here to stay, due to difficulties in using them as attributes.

#JetBrains should update #PhpStorm so that it stops prompting users to change these to the attributes that no longer exist in #PHPUnit 11.

https://github.com/sebastianbergmann/phpunit/issues/5513 https://phpc.social/@ramsey/112548885739685459