jsonschema: add missing field .files[].file_id

diff --git a/etc/schema.json b/etc/schema.json
index f9ea5c9f380825a06b5fd1bc09421c6efa1878e2..e8a543e69f2c12a673d61f459297fad966c3bf8a 100644 (file)
--- a/etc/schema.json
+++ b/etc/schema.json
@@ -116,6 +116,9 @@
                     "filename": {
                         "type": "string"
                     },
+                    "file_id": {
+                        "type": "integer"
+                    },
                     "gaps": {
                         "type": "boolean"
                     },