diff --git a/tests/coverage.php b/tests/coverage.php index 25c6cec9e..0a0ebd1f4 100644 --- a/tests/coverage.php +++ b/tests/coverage.php @@ -42,14 +42,16 @@ $result = unserialize(file_get_contents("coverage.txt")); $coverage = $result["coverage"]; function getCoverageReport($file){ - global $coverage; + global $result; + $coverage = $result["coverage"]; + $path = $result["coverage"]; $html = '