mirror of
https://github.com/php/php-src.git
synced 2024-12-13 03:44:17 +08:00
207105b1a3
* PHP-7.0: Fixed bug #73793 (WDDX uses wrong decimal seperator) |
||
---|---|---|
.. | ||
tests | ||
config.m4 | ||
config.w32 | ||
CREDITS | ||
package.xml | ||
php_wddx_api.h | ||
php_wddx.h | ||
wddx.c |