Hi Internals,
I would like to restart the discussion for RFC
https://wiki.php.net/rfc/anonymous_catch (
http://news.php.net/php.webmaster/16065)
It dates back to 2013, however, I think in general it still applies today.
I can make the necessary changes if needed, but for this i need feedback
and possibly permissions to edit the RFC. (Wiki username=ro0nl)
This request supersedes https://externals.io/message/104491
Cheers,
Roland Franssen