Am 09.01.2020 um 13:31 schrieb Sebastian Bergmann:
I would prefer erroring out over just emitting a warning.
What I meant, of course, was deprecation (or warning) first before erroring out. Sorry.
-- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
