Revision 7bd96869d742bf77d66ac338c4630702050e526d

Committed on 09/01/2009 12:57 am by Sebastian Bergmann <sb@sebastian-bergmann.de> [GitHub Diff]

- Do not use low-level PHPUnit API.