mirror of
https://github.com/php/php-src.git
synced 2026-04-02 21:52:36 +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