mirror of
https://github.com/php/php-src.git
synced 2026-04-23 07:58:20 +02:00
2d1694d4eb
Fixes bug #63737 (json_decode does not properly decode with options parameter).
838 B
838 B