|
@@ -78,7 +78,7 @@ |
|
|
block discarded – undo |
|
78
|
78
|
* manually detect large ints in the JSON string and quote them (thus converting |
|
79
|
79
|
*them to strings) before decoding, hence the preg_replace() call. |
|
80
|
80
|
*/ |
|
81
|
|
- $maxLength = \strlen((string)PHP_INT_MAX) - 1; |
|
|
81
|
+ $maxLength = \strlen((string) PHP_INT_MAX) - 1; |
|
82
|
82
|
$withoutBigints = \preg_replace('/:\s*(-?\d{' . $maxLength . ',})/', ': "$1"', $input); |
|
83
|
83
|
$obj = \json_decode($withoutBigints, true); |
|
84
|
84
|
} |
Please login to merge, or discard this patch.