ResultPrinter.php Interfaces, Classes and Traits PHPUnit_Util_TestDox_ResultPrinter Base class for printers of TestDox documentation.