diff options
Diffstat (limited to 'tools/eslint/node_modules/ajv/lib/refs/$data.json')
| -rw-r--r-- | tools/eslint/node_modules/ajv/lib/refs/$data.json | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/tools/eslint/node_modules/ajv/lib/refs/$data.json b/tools/eslint/node_modules/ajv/lib/refs/$data.json new file mode 100644 index 0000000000..4a2edec556 --- /dev/null +++ b/tools/eslint/node_modules/ajv/lib/refs/$data.json @@ -0,0 +1,17 @@ +{ + "$schema": "http://json-schema.org/draft-06/schema#", + "$id": "https://raw.githubusercontent.com/epoberezkin/ajv/master/lib/refs/$data.json#", + "description": "Meta-schema for $data reference (JSON-schema extension proposal)", + "type": "object", + "required": [ "$data" ], + "properties": { + "$data": { + "type": "string", + "anyOf": [ + { "format": "relative-json-pointer" }, + { "format": "json-pointer" } + ] + } + }, + "additionalProperties": false +} |