diff options
Diffstat (limited to '3rdparty/simpletest/extensions/coverage/coverage_writer.php')
| -rw-r--r-- | 3rdparty/simpletest/extensions/coverage/coverage_writer.php | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/3rdparty/simpletest/extensions/coverage/coverage_writer.php b/3rdparty/simpletest/extensions/coverage/coverage_writer.php new file mode 100644 index 00000000000..0a8519cb509 --- /dev/null +++ b/3rdparty/simpletest/extensions/coverage/coverage_writer.php @@ -0,0 +1,16 @@ +<?php +/** + * @package SimpleTest + * @subpackage Extensions + */ +/** + * @package SimpleTest + * @subpackage Extensions + */ +interface CoverageWriter { + + function writeSummary($out, $variables); + + function writeByFile($out, $variables); +} +?>
\ No newline at end of file |