All, I've added a PR for this: https://github.com/php/php-src/pull/1213
Please review the implementation and the wording (as well as the behavior). I plan on merging this on Friday if there is no objection (as it seems the support has already been unanimous with no hesitation). Thanks! Anthony On Tue, Mar 31, 2015 at 6:21 PM, Ángel González <keis...@gmail.com> wrote: > No objections here either. > > > -- > PHP Internals - PHP Runtime Development Mailing List > To unsubscribe, visit: http://www.php.net/unsub.php > -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php