echo'<a href="cc.php">Back to coverage report</a>';
$reporter->showFile($_GET["file"]);
}else{
}else{
?>
<h1>Coverage report for Doctrine</h1>
<p>Default mode shows results sorted by percentage. This can be changed with GET variables:<br/><ul><li>order = covered|total|maybe|notcovered|percentage</li><li>desc=true</li></ul></p>
...
...
@@ -58,11 +78,17 @@ if(isset($_GET["file"])){
</html>
<?php
/*
/**
* Doctrine
* the base class of Doctrine framework
*
* This class is a mess right now. Will clean it up later perhaps. If we do not