Revision e2a5b6fc704de095830e6a470bd154fb67ed1b89

Committed on 30/07/2009 8:40 am by Sebastian Bergmann <sb@sebastian-bergmann.de> [GitHub Diff]

- Sync with recent changes to PHPUnit_TextUI_ResultPrinter.