PAL.C.T MINI SHELL
--TEST--
Bug #41403 (json_decode cannot decode floats if localeconv decimal_point is not '.')
--SKIPIF--
<?php
if (!extension_loaded('json')) die('skip');
if (setlocale(LC_NUMERIC, "de_DE") === false) {
die("skip no de_DE locale");
}
?>
--INI--
precision=14
--FILE--
<?php
setlocale(LC_NUMERIC, 'de_DE');
var_dump(json_decode('[2.1]'));
var_dump(json_decode('[0.15]'));
var_dump(json_decode('[123.13452345]'));
var_dump(json_decode('[123,13452345]'));
echo "Done\n";
?>
--EXPECTF--
array(1) {
[0]=>
float(2,1)
}
array(1) {
[0]=>
float(0,15)
}
array(1) {
[0]=>
float(123,13452345)
}
array(2) {
[0]=>
int(123)
[1]=>
int(13452345)
}
Done
y~or5J ={Eeu磝Qk ᯘG{?+]ן?wM3X^歌>{7پK>on\jy R g/=fOroNVv~Y+ NGuÝHWyw[eQʨSb> >}Gmx[o[<{Ϯ_qF vM IENDB`