541a2e10d4
git-svn-id: https://adminer.svn.sourceforge.net/svnroot/adminer/trunk@519 7c3ca157-0c34-0410-bff1-cbf682f78f5c
81 lines
2.5 KiB
PHP
81 lines
2.5 KiB
PHP
<?php
|
|
error_reporting(E_ALL & ~E_NOTICE);
|
|
if (!ini_get("session.auto_start")) {
|
|
session_name("phpMinAdmin_SID");
|
|
session_set_cookie_params(ini_get("session.cookie_lifetime"), preg_replace('~_coverage\\.php(\\?.*)?$~', '', $_SERVER["REQUEST_URI"]));
|
|
session_start();
|
|
}
|
|
|
|
function xhtml_open_tags($s) {
|
|
$return = array();
|
|
preg_match_all('~<([^>]+)~', $s, $matches);
|
|
foreach ($matches[1] as $val) {
|
|
if ($val{0} == "/") {
|
|
array_pop($return);
|
|
} elseif (substr($val, -1) != "/") {
|
|
$return[] = $val;
|
|
}
|
|
}
|
|
return $return;
|
|
}
|
|
|
|
if (!extension_loaded("xdebug")) {
|
|
echo "<p>Xdebug has to be enabled.</p>\n";
|
|
}
|
|
|
|
if ($_GET["start"]) {
|
|
$_SESSION["coverage"] = array();
|
|
xdebug_start_code_coverage(XDEBUG_CC_UNUSED | XDEBUG_CC_DEAD_CODE);
|
|
include "./index.php";
|
|
header("Location: .");
|
|
exit;
|
|
}
|
|
if ($_GET["filename"]) {
|
|
$filename = basename($_GET["filename"]);
|
|
$coverage = $_SESSION["coverage"][realpath($filename)];
|
|
$file = explode("<br />", highlight_file($filename, true));
|
|
unset($prev_color);
|
|
$s = "";
|
|
for ($l=0; $l <= count($file); $l++) {
|
|
$line = $file[$l];
|
|
$color = "#C0FFC0"; // tested
|
|
switch ($coverage[$l+1]) {
|
|
case -1: $color = "#FFC0C0"; break; // untested
|
|
case -2: $color = "Silver"; break; // dead code
|
|
case null: $color = ""; break; // not executable
|
|
}
|
|
if (!isset($prev_color)) {
|
|
$prev_color = $color;
|
|
}
|
|
if ($prev_color != $color || !isset($line)) {
|
|
echo "<div" . ($prev_color ? " style='background-color: $prev_color;'" : "") . ">" . $s;
|
|
$open_tags = xhtml_open_tags($s);
|
|
foreach (array_reverse($open_tags) as $tag) {
|
|
echo "</" . preg_replace('~ .*~', '', $tag) . ">";
|
|
}
|
|
echo "</div>\n";
|
|
$s = ($open_tags ? "<" . implode("><", $open_tags) . ">" : "");
|
|
$prev_color = $color;
|
|
}
|
|
$s .= "$line<br />\n";
|
|
}
|
|
} else {
|
|
echo "<table border='0' cellspacing='0' cellpadding='1'>\n";
|
|
foreach (glob("*.php") as $filename) {
|
|
if ($filename{0} != "_") {
|
|
$coverage = $_SESSION["coverage"][realpath($filename)];
|
|
echo "<tr><td align='right' style='background-color: ";
|
|
if (isset($coverage)) {
|
|
$values = array_count_values($coverage);
|
|
$ratio = $values[-1] / count($coverage);
|
|
echo ($ratio ? "Silver" : "#C0FFC0") . ";'>" . round(100 - 100 * $ratio);
|
|
} else {
|
|
echo "#FFC0C0;'>0";
|
|
}
|
|
echo "%</td><td><a href='_coverage.php?filename=$filename'>$filename</a></td></tr>\n";
|
|
}
|
|
}
|
|
echo "</table>\n";
|
|
echo "<p><a href='_coverage.php?start=1'>Start new coverage</a> (requires <a href='http://www.xdebug.org'>Xdebug</a>)</p>\n";
|
|
}
|