Antony Dovgal wrote: > And even if there are, I don't believe they are on our side, since it's > the same #ifdef used in two different places, no chance to get different > values.
Yep. I did more source diving and this should not be possible. Which means that whoever deployed this PHP (i.e. the hosting company) has been monkeying around with the source. :-( -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php