Hi! > In fact, it *is* a bug: https://bugs.php.net/bug.php?id=67829
It is most definitely not a bug, it's the intended behavior that has been coded so and has been in PHP for a very long time. You may argue it should not be so, and it should be changed, that's fine, but it's not what is called a bug - it's not a mistake, it's how it was intended to work. Changing this is a feature request, for which you're welcome to make an RFC. I'm not sure though it would be very useful change since IMO it would break BC for no actual gain to any practical code. But if you think you're wrong RFC is definitely an option. -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
