mirror of
https://github.com/php/php-src.git
synced 2026-03-30 20:22:36 +02:00
104876dd8e
These characters are illegal in Javascript, so leaving them unescaped is risky. The default encoder ($flags = 0) is fine, but the encoder with JSON_UNESCAPED_UNICODE flag is not. In case anyone wants the ability to leave these characters unescaped, provide JSON_UNESCAPED_LINE_TERMINATORS.
JSON ========== This extension implements the JavaScript Object Notation (JSON) data-interchange format as specified in RFC 7159 The parser is implemented using re2c and Bison. The used versions of both tools for generating files in the repository are following: re2c 0.14.3 Bison 3.0.4 It is recommended to do all contributions to the JSON extension through the Github Pull Requests and preferably ping @bukka who maintains the extension.