On 15/03/2021 22:18, Levi Morrison via internals wrote:
Like any other case insensitive symbol PHP works with that comes from
userland, I would lower it in the engine's side of things. I would not
push the lowercase requirement on the API.
That was the first design, however it required re-creating the array
with potentially many thousands of new strings which slowed it down
considerably.
As I envisenge this to be used with machine generated data, having it
use lowercase would not be an issue.
--
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: https://www.php.net/unsub.php
