Voting is now closed. The proposal is accepted 28:2.
I will merge PR #1379 to master tomorrow (to give time for a final code-review).
https://github.com/php/php-src/pull/1397
Thanks all!
Anthony
On Sun, Aug 30, 2015 at 6:54 PM, Anthony Ferrara <ircmaxell@gmail.com> wrote: