mirror of
https://github.com/php/php-src.git
synced 2024-09-22 18:37:25 +00: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 |