diff options
| author | Derick Rethans <github@derickrethans.nl> | 2019-03-17 15:16:08 -0400 |
|---|---|---|
| committer | Derick Rethans <github@derickrethans.nl> | 2019-03-17 15:16:08 -0400 |
| commit | eabca6f87a143e169f977bb4a1d115983529b41b (patch) | |
| tree | 098ea8da37c7ab9c410688cd2db640777d6d5e3a | |
| parent | dd4ce986d273107e4129902d6a3ed61acf6ad84f (diff) | |
| parent | bcaf90e5ebd294973779a62facc139e82e4136f9 (diff) | |
| download | php-git-eabca6f87a143e169f977bb4a1d115983529b41b.tar.gz | |
Merge remote-tracking branch 'refs/remotes/origin/PHP-7.4' into PHP-7.4
| -rw-r--r-- | ext/json/README | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/ext/json/README b/ext/json/README deleted file mode 100644 index 491e62964d..0000000000 --- a/ext/json/README +++ /dev/null @@ -1,16 +0,0 @@ -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.16 -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. |