From e4c2297168ca41ef1a0a2a42cdc238e41c30593b Mon Sep 17 00:00:00 2001 From: Francesco Laffi <357331+francescolaffi@users.noreply.github.com> Date: Mon, 11 Dec 2023 16:50:50 +0100 Subject: [PATCH] disallowedAttributes: configure errorIdentifier and errorTip as optional Missed those in #222 --- extension.neon | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/extension.neon b/extension.neon index 0595190..0805764 100644 --- a/extension.neon +++ b/extension.neon @@ -200,8 +200,8 @@ parametersSchema: ?disallowParamFlags: arrayOf(anyOf(int(), structure([position: int(), ?value: int(), ?name: string()])), anyOf(int(), string())), ?allowExceptCaseInsensitiveParams: arrayOf(anyOf(int(), string(), bool(), structure([position: int(), ?value: anyOf(int(), string(), bool()), ?name: string()])), anyOf(int(), string())), ?disallowCaseInsensitiveParams: arrayOf(anyOf(int(), string(), bool(), structure([position: int(), ?value: anyOf(int(), string(), bool()), ?name: string()])), anyOf(int(), string())), - errorIdentifier: string(), - errorTip: string(), + ?errorIdentifier: string(), + ?errorTip: string(), ]) )