Remove workaround for a PHP bug from 2009 that was fixed in PHP 5.4.21
Remove workaround for a PHP bug from 2009 that was fixed in PHP 5.4.21

https://bugs.php.net/bug.php?id=47987
https://bugs.php.net/bug.php?id=65322

sebastianbergmann/phpunit,Firehed/phpunit,duncan3dc/phpunit