[doc] Added automatic warnings for PHPUnit’s @codeCoverageIgnore