On 10/10/2019 23:04, Walter Parker wrote:
If this truly is the problem that you say it is, there should be plenty of documentation online as to the issues that it has cause. Maybe you could post some of the better cases (as the the responsibility of the person suggesting the change to provide evidence that the change is a good idea).
The top comment on our own documentation website upvoted more than a hundred times is people using it by accident :-)
-- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
