HTML.php Interfaces, Classes and Traits PHPUnit_Util_TestDox_ResultPrinter_HTML Prints TestDox documentation in HTML format.