//@codeCoverageIgnore (no leading space) no longer works in PHPUnit 3.5

[shupp]

In 3.4, both //@codeCoverageIgnore* and // @codeCoverageIgnore* worked, but in 3.5, you must have exactly // @codeCoverageIgnore*, according to PHPUnit_CodeCoverage_Util around line 289. Perhaps the space should be optional for backwards compatibility.

[sebastianbergmann]

Closed by 07349b2.