> > Not changing the default in PHP 7.2 has been suggested by Sara[1], and > it was part of the vote, so I don't think a follow-up RFC would be in > order. If you think otherwise, feel free to submit a new RFC. :) > > [1] <http://news.php.net/php.internals/97571>
It was part of the RFC, but no vote option or something like that. @Sara: What's your current stance on this? Regards, Niklas