diff --git a/_coverage.php b/_coverage.php index 62b47be4..319ec51c 100644 --- a/_coverage.php +++ b/_coverage.php @@ -64,15 +64,12 @@ if ($_GET["filename"]) { foreach (glob("*.php") as $filename) { if ($filename{0} != "_") { $coverage = $_SESSION["coverage"][realpath($filename)]; - echo "