Did you mean (for PHP_5_5): orig_user_exception_handler   user_exception_handler   default_exception_handlers   user_exception_handlers   exception_handler  

Your search defs:arginfo_set_exception_handler did not match any files.
Suggestions: