--- trunk/config/schema/extension.json 2024/08/30 10:10:56 625 +++ trunk/config/schema/extension.json 2024/09/07 09:38:45 626 @@ -4,6 +4,15 @@ "main": { "type": "string" }, + "src_main": { + "type": "string" + }, + "src_directory": { + "type": "string" + }, + "build_directory": { + "type": "string" + }, "language": { "type": "string", "enum": [