jsonschema: add missing field .files[].file_id

2 years ago · f35052941d
parent 805b07fa42
commit f35052941d
1 changed files with 3 additions and 0 deletions
--- a/etc/schema.json
+++ b/etc/schema.json
@ -116,6 +116,9 @@
                    "filename": {
                        "type": "string"
                    },
+                    "file_id": {
+                        "type": "integer"
+                    },
                    "gaps": {
                        "type": "boolean"
                    },