Am 09.01.2020 um 13:26 schrieb Nikita Popov:
What do you think?

I would prefer erroring out over just emitting a warning.

--
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php

Reply via email to