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");
}
--TEST--
Bug #41504 (json_decode() converts empty array keys to "_empty_")
+--SKIPIF--
+if (!extension_loaded('json')) die('skip');
--FILE--
<?php
[""]=>
string(5) "value"
}
-Done
\ No newline at end of file
+Done
--TEST--
Bug #41567 (json_encode() double conversion is inconsistent with PHP)
+--SKIPIF--
+if (!extension_loaded('json')) die('skip');
--FILE--
<?php