@@ -78,7 +78,7 @@ |
||
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 | } |