php-src/ext/wddx
Christoph M. Becker f64be0b013 Fixed bug #73793 (WDDX uses wrong decimal seperator)
The WDDX specification[1] requires to serialize floats with a decimal
point, but `snprintf()` is locale-dependent and may use a decimal
comma. We fix that afterwards by replacing an eventual comma with a
point.

[1] <http://xml.coverpages.org/wddx0090-dtd-19980928.txt>
2017-08-13 20:51:53 +02:00
..
tests Fixed bug #73793 (WDDX uses wrong decimal seperator) 2017-08-13 20:51:53 +02:00
config.m4 Fix long-standing visual pain point: the misalignment of './configure help' text. 2013-08-06 11:06:09 -07:00
config.w32 improve searchability for libxml2 headers 2015-05-10 22:22:03 +02:00
CREDITS
package.xml Typo 2007-03-14 09:58:14 +00:00
php_wddx_api.h Update copyright headers to 2017 2017-01-04 11:14:55 -06:00
php_wddx.h Update copyright headers to 2017 2017-01-04 11:14:55 -06:00
wddx.c Fixed bug #73793 (WDDX uses wrong decimal seperator) 2017-08-13 20:51:53 +02:00