mirror of
https://github.com/php/php-src.git
synced 2025-08-16 05:58:45 +02:00
Merge branch 'PHP-5.4' into PHP-5.5
* PHP-5.4: 5.4.11-dev Conflicts: configure.in main/php_version.h
This commit is contained in:
commit
16b1d45e69