Disabled coverage reporting (no PHP code).