From 505fe6d382674f18c4133dc0f06b0b9507fdcedf Mon Sep 17 00:00:00 2001 From: Max Brunsfeld Date: Mon, 5 Dec 2016 17:09:09 -0800 Subject: [PATCH] Add externals to grammar JSON schema --- doc/grammar-schema.json | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/doc/grammar-schema.json b/doc/grammar-schema.json index 5f43b279..f37cd983 100644 --- a/doc/grammar-schema.json +++ b/doc/grammar-schema.json @@ -40,6 +40,14 @@ "pattern": "^[a-zA-Z_]\\w*$" } } + }, + + "externals": { + "type": "array", + "items": { + "type": "string", + "pattern": "^[a-zA-Z_]\\w*$" + } } },