Editing: CoveragePhpToReport.php