mirror of
https://github.com/php/php-src.git
synced 2026-03-28 10:12:18 +01: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