Marcus Boerger wrote:

> to prevent confusion with more readers - i am against an ini option here.
> Either keep the way it is right now or make everything case sensitive.
> And of course i like speed which is support for the latter to be clear.

What about deprecating case-insensitive identifiers but keeping them
working. Wouldn't something like following work?
lookup case-sensitive identifier
if not found then
  lookup case-insensitive identifier
  if found then
     raise notice/warning and continue as usual
  else
     fall down and catch fire

That way correct usage should be fast and incorrect usage work. And the
case-insensitive fallback could be removed in PHP7 :)

---
Ants Aasma

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

Reply via email to