Suggestions: Built-in classes for PHP5

Hello, as you might know, the Zend Engine 2 features a built-in Exception class. The problem with a class named Exception is that no user-defined class named Exception may exist. Suggestion #1 is to make use of Andrei's API function zend_register_internal_class_in_ns and to move it to a namespace called "php". This can be accomplished with a simple patch to Zend/zend_default_classes.c (attached). Main motivation for this patch: Users having their own class Exception might want to extend it from Throwable, Object. Of course, they could put in into their own namespace, then having to specify it everywhere. It just seems nicer to me not to force users to do so. Those users who are completely content with the built-in exception could still a) import it import class Exception from php; or b) extend it as in class MyException extends php::Exception { } . Suggestion #2 extends the first and goes a bit farther, featuring three more internal classes, object, throwable and error. An implementation, a test script, its output and some initial documentation can be seen at http://sitten-polizei.de/php/zend_default_classes/ The sourcecode seen there also includes: * Checks on static calls to the class methods. At the moment, if a user called var_dump(Exception::getMessage());, it would lead to a segmentation fault (access to getThis() which is then NULL). * A version of var_export() that prints out the member access types such as public, private, and protected and recognizes static members. The toString() method uses this, for example. Comments welcome! - Timm