From: Jakub Vrana <jakub@vrana.cz>
Date: Sun, 16 Mar 2025 20:49:39 +0000 (+0100)
Subject: Rename file
X-Git-Tag: v5.0.6~19
X-Git-Url: https://git.joonet.de/?a=commitdiff_plain;h=f093cb6db266e8922e4c24e4d2b49e7127df24c6;p=adminer.git

Rename file
---

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 "<p class='error'>Xdebug has to be enabled.\n";
 } elseif ($_GET["coverage"] === "0") {