Am 10.03.2019 um 21:12 schrieb Gabriel Caruso:
As both PHP 7.2 and 7.3 has been out for a while, -1 on this one.
Same here; no new functionality should be added to already released versions. -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
