From b5be7fda6cfd507717e286bbe350016790e3f3cd Mon Sep 17 00:00:00 2001 From: Jacob Domagala Date: Thu, 26 Oct 2023 09:59:33 +0200 Subject: [PATCH] #2171: Add user_defined field to json validator --- scripts/JSON_data_files_validator.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/scripts/JSON_data_files_validator.py b/scripts/JSON_data_files_validator.py index 63daa81e21..bacf268dde 100644 --- a/scripts/JSON_data_files_validator.py +++ b/scripts/JSON_data_files_validator.py @@ -115,7 +115,8 @@ def _get_valid_schema(self) -> Schema: }, 'bytes': float } - ] + ], + Optional('user_defined'): dict }, ] }