Backport tools

php_tools/jsonlint/README.md

@@ -0,0 +1,8 @@
+# JSONLint
+
+A pure JavaScript version of the service provided at jsonlint.com.
+
+| Platform | Url                                                              |
+|----------|------------------------------------------------------------------|
+| NPM      | https://www.npmjs.com/package/jsonlint                           |
+| GitHub   | npm i jsonlint                                                   |

php_tools/jsonlint/install.yml

@@ -0,0 +1,13 @@
+---
+
+check: jsonlint --version | grep -E '[0-9][.0-9]+' || (jsonlint --version; false)
+
+all:
+  type: npm
+  package: jsonlint
+  binary: jsonlint
+  version:
+  build_dep: []
+  run_dep: []
+  pre:
+  post:

php_tools/jsonlint/options.yml

@@ -0,0 +1,11 @@
+---
+
+# The name of the module
+name: jsonlint
+
+# Exclude module build/installation for the following PHP versions
+exclude: []
+
+# In order for this tool to build/install correctly,
+# the following tools must have been installed first.
+depends: []