From 63acb37ea662e7d5e928060dc38bc20a0b51f019 Mon Sep 17 00:00:00 2001 From: Jakub Vrana Date: Wed, 12 Mar 2025 06:09:18 +0100 Subject: [PATCH] Coverage: Display drivers --- coverage.php | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/coverage.php b/coverage.php index 51cc1785..dc668b4e 100644 --- a/coverage.php +++ b/coverage.php @@ -29,7 +29,7 @@ if (!extension_loaded("xdebug")) { } elseif ($_GET["coverage"] === "0") { file_put_contents($coverage_filename, serialize(array())); echo "

Coverage started.\n"; -} elseif (preg_match('~^(adminer|editor)/(include/)?[-_.a-z0-9]+$~i', $_GET["coverage"])) { +} elseif (preg_match('~^(adminer|editor)/(include/|drivers/)?[-_.a-z0-9]+$~i', $_GET["coverage"])) { // highlight single file $filename = $_GET["coverage"]; $coverage = (file_exists($coverage_filename) ? unserialize(file_get_contents($coverage_filename)) : array()); @@ -70,7 +70,7 @@ if (!extension_loaded("xdebug")) { // display list of files $coverage = unserialize(file_get_contents($coverage_filename)); echo "\n"; - foreach (array_merge(glob("adminer/*.php"), glob("adminer/include/*.php"), glob("editor/*.php"), glob("editor/include/*.php")) as $filename) { + foreach (array_merge(glob("adminer/*.php"), glob("adminer/drivers/*.php"), glob("adminer/include/*.php"), glob("editor/*.php"), glob("editor/include/*.php")) as $filename) { $cov = $coverage[realpath($filename)]; $ratio = 0; if (is_array($cov)) {