1
0
mirror of https://github.com/vrana/adminer.git synced 2025-08-08 23:57:29 +02:00

PHPStan: Fix level 6 errors

This commit is contained in:
Jakub Vrana
2025-03-26 21:06:01 +01:00
parent c96894ecd4
commit d3b53d9d9c
14 changed files with 114 additions and 51 deletions

View File

@@ -3,6 +3,7 @@ namespace Adminer;
// coverage is used in tests and removed in compilation
if (extension_loaded("xdebug") && file_exists(sys_get_temp_dir() . "/adminer.coverage")) {
/** @return void */
function save_coverage() {
$coverage_filename = sys_get_temp_dir() . "/adminer.coverage";
$coverage = unserialize(file_get_contents($coverage_filename));