JosephLenton/PHP-Error — pull request #13 by Geczy (2012-07-02 16:46:49+00:00)
Title: Make $classNotFoundException public

To play nice with other PHP versions, eg 5.3.10