sebastianbergmann/phpunit — pull request #826 by whatthejeff (2013-02-18 15:40:14+00:00)
Title: Undo 9d97a3e.

This has been fixed by sebastianbergmann/exporter@6732d996b0e85da36eb1a096027876d2905b8e72.

The problem was caused by https://github.com/php/php-src/commit/5721132 in PHP >= 5.3.4