From: Jakub Vrana Date: Wed, 12 Mar 2025 05:05:35 +0000 (+0100) Subject: Coverage: Modernize HTML X-Git-Tag: v5.0.5~54 X-Git-Url: https://git.joonet.de/?a=commitdiff_plain;h=3ad6c16f5912bb6c4a605d0a3fb761fe28ca852e;p=adminer.git Coverage: Modernize HTML --- 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"; } -?> - - -