From af4fbca33a5158d45e768aebdf027300674a32f9 Mon Sep 17 00:00:00 2001 From: jakubvrana Date: Thu, 2 Oct 2008 22:10:34 +0000 Subject: [PATCH] Code coverage git-svn-id: https://adminer.svn.sourceforge.net/svnroot/adminer/trunk@515 7c3ca157-0c34-0410-bff1-cbf682f78f5c --- _coverage.php | 26 +++++++++++++++++++------- tests/15-privileges.html | 5 ----- tests/{coverage.html => logout.html} | 19 +++++++++++++++++-- tests/selenium.html | 1 + 4 files changed, 37 insertions(+), 14 deletions(-) rename tests/{coverage.html => logout.html} (68%) diff --git a/_coverage.php b/_coverage.php index 3c0dd65a..6e762b8b 100644 --- a/_coverage.php +++ b/_coverage.php @@ -19,11 +19,16 @@ function xhtml_open_tags($s) { return $return; } +if (!extension_loaded("xdebug")) { + echo "

Xdebug has to be enabled.

\n"; +} + if ($_GET["start"]) { $_SESSION["coverage"] = array(); header("Location: ."); exit; -} elseif ($_GET["filename"]) { +} +if ($_GET["filename"]) { $filename = basename($_GET["filename"]); $coverage = $_SESSION["coverage"][realpath($filename)]; $file = explode("
", highlight_file($filename, true)); @@ -52,15 +57,22 @@ if ($_GET["start"]) { } $s .= "$line
\n"; } -} elseif (isset($_SESSION["coverage"])) { - echo "