facilitate zend_exception_set_previous() of PHP 5.3
authorMichael Wallner <mike@php.net>
Wed, 30 Dec 2009 12:31:03 +0000 (12:31 +0000)
committerMichael Wallner <mike@php.net>
Wed, 30 Dec 2009 12:31:03 +0000 (12:31 +0000)

No differences found