Changeset 2847 for trunk/vendor/spikephpcoverage
- Timestamp:
- 10/14/07 23:43:29 (15 months ago)
- Location:
- trunk/vendor/spikephpcoverage
- Files:
-
- 44 added
-
. (added)
-
cli (added)
-
cli/driver.php (added)
-
cli/instrument.php (added)
-
conf (added)
-
conf/phpcoverage.conf.php (added)
-
CoverageRecorder.php (added)
-
parser (added)
-
parser/BasicXmlParser.php (added)
-
parser/CoverageXmlParser.php (added)
-
parser/Parser.php (added)
-
parser/PHPParser.php (added)
-
PEAR.php (added)
-
phpcoverage.inc.php (added)
-
phpcoverage.remote.bottom.inc.php (added)
-
phpcoverage.remote.top.inc.php (added)
-
remote (added)
-
remote/RemoteCoverageRecorder.php (added)
-
remote/XdebugTraceReader.php (added)
-
reporter (added)
-
reporter/CoverageReporter.php (added)
-
reporter/css (added)
-
reporter/css/spikesource.css (added)
-
reporter/html (added)
-
reporter/html/footer.html (added)
-
reporter/html/header.html (added)
-
reporter/html/indexfooter.html (added)
-
reporter/html/indexheader.html (added)
-
reporter/HtmlCoverageReporter.php (added)
-
reporter/images (added)
-
reporter/images/arrow_down.gif (added)
-
reporter/images/arrow_up.gif (added)
-
reporter/images/spacer.gif (added)
-
reporter/images/spikesource (added)
-
reporter/images/spikesource/phpcoverage.gif (added)
-
reporter/js (added)
-
reporter/js/sort_spikesource.js (added)
-
util (added)
-
util/CoverageLogger.php (added)
-
util/Utility.php (added)
-
XML (added)
-
XML/Parser (added)
-
XML/Parser.php (added)
-
XML/Parser/Simple.php (added)
