From f093cb6db266e8922e4c24e4d2b49e7127df24c6 Mon Sep 17 00:00:00 2001 From: Jakub Vrana Date: Sun, 16 Mar 2025 21:49:39 +0100 Subject: [PATCH] Rename file --- adminer/include/coverage.inc.php | 4 ++-- coverage.php | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/adminer/include/coverage.inc.php b/adminer/include/coverage.inc.php index 77069920..e4eefdba 100644 --- a/adminer/include/coverage.inc.php +++ b/adminer/include/coverage.inc.php @@ -2,9 +2,9 @@ namespace Adminer; // coverage is used in tests and removed in compilation -if (extension_loaded("xdebug") && file_exists(sys_get_temp_dir() . "/adminer_coverage.ser")) { +if (extension_loaded("xdebug") && file_exists(sys_get_temp_dir() . "/adminer.coverage")) { function save_coverage() { - $coverage_filename = sys_get_temp_dir() . "/adminer_coverage.ser"; + $coverage_filename = sys_get_temp_dir() . "/adminer.coverage"; $coverage = unserialize(file_get_contents($coverage_filename)); foreach (xdebug_get_code_coverage() as $filename => $lines) { foreach ($lines as $l => $val) { diff --git a/coverage.php b/coverage.php index 5c1fa0b6..2c997510 100644 --- a/coverage.php +++ b/coverage.php @@ -23,7 +23,7 @@ function xhtml_open_tags($s) { return $return; } -$coverage_filename = sys_get_temp_dir() . "/adminer_coverage.ser"; +$coverage_filename = sys_get_temp_dir() . "/adminer.coverage"; if (!extension_loaded("xdebug")) { echo "

Xdebug has to be enabled.\n"; } elseif ($_GET["coverage"] === "0") {