I missed the discussion on this entirely. I see it took place in a non-obvious thread, in which Nikita asked:
On 10 January 2015 at 11:53, Nikita Popov <nikita....@gmail.com> wrote: > When submitting an RFC, please open a separate thread. Otherwise people who > do not follow every single discussion will not see it. > -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php