diff --git a/coverage.php b/coverage.php
index a4bfe675..51cc1785 100644
--- a/coverage.php
+++ b/coverage.php
@@ -1,9 +1,8 @@
-
-
+
+
Coverage
-
@@ -26,10 +25,10 @@ function xhtml_open_tags($s) {
$coverage_filename = sys_get_temp_dir() . "/adminer_coverage.ser";
if (!extension_loaded("xdebug")) {
- echo "Xdebug has to be enabled.
\n";
+ echo "Xdebug has to be enabled.\n";
} elseif ($_GET["coverage"] === "0") {
file_put_contents($coverage_filename, serialize(array()));
- echo "
Coverage started.
\n";
+ echo "Coverage started.\n";
} elseif (preg_match('~^(adminer|editor)/(include/)?[-_.a-z0-9]+$~i', $_GET["coverage"])) {
// highlight single file
$filename = $_GET["coverage"];
@@ -78,13 +77,9 @@ if (!extension_loaded("xdebug")) {
$values = array_count_values($cov);
$ratio = round(100 - 100 * $values[-1] / (count($cov) - $values[-2]));
}
- echo "
| $ratio% | $filename |
\n";
+ echo "| $ratio% | $filename\n";
}
echo "\n";
}
- echo " Start new coverage \n";
+ echo "Start new coverage\n";
}
-?>
-
-
-
|