Editing: CoverageHtmlToReport.php