JosephLenton/PHP-Error — pull request #64 by panrafal (2013-02-03 13:44:13+00:00)
Title: ErrorException wasn't compatible with PHP's ErrorException.

Now it's not needed, as php_error requires php 5.3. I've left it for compatibility