From: Jakub Vrana <jakub@vrana.cz>
Date: Wed, 12 Mar 2025 05:15:47 +0000 (+0100)
Subject: Coverage: Fix newlines
X-Git-Tag: v5.0.5~52
X-Git-Url: https://git.joonet.de/?a=commitdiff_plain;h=fa75213ff68b169b16292ad775e324dfc2f64e99;p=adminer.git

Coverage: Fix newlines
---

diff --git a/coverage.php b/coverage.php
index dc668b4e..5c1fa0b6 100644
--- a/coverage.php
+++ b/coverage.php
@@ -33,9 +33,10 @@ if (!extension_loaded("xdebug")) {
 	// highlight single file
 	$filename = $_GET["coverage"];
 	$coverage = (file_exists($coverage_filename) ? unserialize(file_get_contents($coverage_filename)) : array());
-	$file = explode("\n", highlight_file($filename, true));
+	$file = explode("\n", substr(highlight_file($filename, true), 5, -6)); // unwrap <pre></pre>
 	$prev_color = null;
 	$s = "";
+	echo "<pre>";
 	for ($l=0; $l <= count($file); $l++) {
 		$line = $file[$l];
 		$color = "#C0FFC0"; // tested
@@ -59,12 +60,13 @@ if (!extension_loaded("xdebug")) {
 			foreach (array_reverse($open_tags) as $tag) {
 				echo "</" . preg_replace('~ .*~', '', $tag) . ">";
 			}
-			echo "</div>\n";
+			echo "</div>";
 			$s = ($open_tags ? "<" . implode("><", $open_tags) . ">" : "");
 			$prev_color = $color;
 		}
 		$s .= "$line\n";
 	}
+	echo "</pre>";
 } else {
 	if (file_exists($coverage_filename)) {
 		// display list of files