Revision 7bd96869d742bf77d66ac338c4630702050e526d

Committed on 09/01/2009 12:57 am by Sebastian Bergmann <[email protected]> [GitHub Diff]

- Do not use low-level PHPUnit API.