|
php.net | support | documentation | report a bug | advanced search | search howto | statistics | random bug | login |
PatchesPull RequestsHistoryAllCommentsChangesGit/SVN commits
[2012-12-11 11:04 UTC] aharvey@php.net
[2012-12-11 11:04 UTC] aharvey@php.net
-Status: Open
+Status: Analyzed
-Assigned To:
+Assigned To: aharvey
[2012-12-11 12:04 UTC] aharvey@php.net
-Status: Analyzed
+Status: Closed
[2012-12-11 12:04 UTC] aharvey@php.net
[2013-01-02 11:46 UTC] franssen dot roland at gmail dot com
[2013-01-02 20:13 UTC] googleguy@php.net
-Status: Closed
+Status: Re-Opened
[2013-01-02 20:18 UTC] googleguy@php.net
[2013-01-08 03:59 UTC] aharvey@php.net
[2013-01-08 03:59 UTC] aharvey@php.net
-Status: Re-Opened
+Status: Closed
[2013-01-08 03:59 UTC] aharvey@php.net
|
|||||||||||||||||||||||||||
Copyright © 2001-2025 The PHP GroupAll rights reserved. |
Last updated: Sat Oct 25 03:00:01 2025 UTC |
Description: ------------ json_decode does not properly decode JSON strings using options parameter. Test script: --------------- json_decode('12345678901234567890', false, 512, JSON_BIGINT_AS_STRING); // this won't work However this will json_decode('[12345678901234567890]', false, 512, JSON_BIGINT_AS_STRING); Expected result: ---------------- string(20) "12345678901234567890" Actual result: -------------- float(1.2345678901235E+19)