123456789101112131415161718192021222324252627282930 |
- --TEST--
- Bug #63737 (json_decode does not properly decode with options parameter)
- --FILE--
- <?php
- function decode($json) {
- $x = json_decode($json);
- var_dump($x);
- $x = json_decode($json, false, 512, JSON_BIGINT_AS_STRING);
- var_dump($x);
- }
- decode('123456789012345678901234567890');
- decode('-123456789012345678901234567890');
- // This shouldn't affect floats, but let's check that.
- decode('123456789012345678901234567890.1');
- decode('-123456789012345678901234567890.1');
- echo "Done\n";
- ?>
- --EXPECT--
- float(1.2345678901234568E+29)
- string(30) "123456789012345678901234567890"
- float(-1.2345678901234568E+29)
- string(31) "-123456789012345678901234567890"
- float(1.2345678901234568E+29)
- float(1.2345678901234568E+29)
- float(-1.2345678901234568E+29)
- float(-1.2345678901234568E+29)
- Done
|