diff --git a/_coverage.php b/_coverage.php index 929bd6a9..75db5f1f 100644 --- a/_coverage.php +++ b/_coverage.php @@ -24,8 +24,8 @@ if (!extension_loaded("xdebug")) { } if ($_GET["start"]) { - $_SESSION["coverage"] = array(); xdebug_start_code_coverage(XDEBUG_CC_UNUSED | XDEBUG_CC_DEAD_CODE); + $_SESSION["coverage"] = array(); include "./index.php"; header("Location: ."); exit;