<body>
<?php
+include "./adminer/include/errors.inc.php";
+
function xhtml_open_tags($s) {
// returns array of opened tags in $s
$return = array();
// highlight single file
$filename = $_GET["coverage"];
$coverage = (file_exists($coverage_filename) ? unserialize(file_get_contents($coverage_filename)) : array());
- $file = explode("<br />", highlight_file($filename, true));
+ $file = explode("\n", highlight_file($filename, true));
$prev_color = null;
$s = "";
for ($l=0; $l <= count($file); $l++) {
$s = ($open_tags ? "<" . implode("><", $open_tags) . ">" : "");
$prev_color = $color;
}
- $s .= "$line<br />\n";
+ $s .= "$line\n";
}
} else {
if (file_exists($coverage_filename)) {