From: jakubvrana Date: Wed, 15 Apr 2009 11:28:58 +0000 (+0000) Subject: Don't start coverage without XDebug X-Git-Tag: v3.0.0~940 X-Git-Url: https://git.joonet.de/?a=commitdiff_plain;h=9b9379d6285e87948ee8bb93bb2f3c1c98f07a4e;p=adminer.git Don't start coverage without XDebug git-svn-id: https://adminer.svn.sourceforge.net/svnroot/adminer/trunk@580 7c3ca157-0c34-0410-bff1-cbf682f78f5c --- 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;