From: Jakub Vrana Date: Tue, 11 Mar 2025 13:37:08 +0000 (+0100) Subject: Fix coverage X-Git-Tag: v5.0.5~67 X-Git-Url: https://git.joonet.de/?a=commitdiff_plain;h=8b4c8b01560b9515958e56bc9e9cffd6ce4bfc5a;p=adminer.git Fix coverage --- diff --git a/coverage.php b/coverage.php index 8f047395..a4bfe675 100644 --- a/coverage.php +++ b/coverage.php @@ -8,6 +8,8 @@ ", highlight_file($filename, true)); + $file = explode("\n", highlight_file($filename, true)); $prev_color = null; $s = ""; for ($l=0; $l <= count($file); $l++) { @@ -62,7 +64,7 @@ if (!extension_loaded("xdebug")) { $s = ($open_tags ? "<" . implode("><", $open_tags) . ">" : ""); $prev_color = $color; } - $s .= "$line
\n"; + $s .= "$line\n"; } } else { if (file_exists($coverage_filename)) {