mirror of
https://github.com/php/php-src.git
synced 2026-04-03 14:12:38 +02:00
# For details on why this was changed, see # http://zend.com/lists/php-dev/200409/msg00108.html
# For details on why this was changed, see # http://zend.com/lists/php-dev/200409/msg00108.html