Plugins: Add an auto-generated part to the `plugin.json` schema (#86520)

feat: update the plugin.json schema
pull/87027/head^2
Levente Balogh 1 year ago committed by GitHub
parent a4bb4c8400
commit e89f6daeda
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
  1. 29
      docs/sources/developers/plugins/plugin.schema.json

@ -555,6 +555,35 @@
}
}
}
},
"generated": {
"type": "object",
"description": "Auto-generated metadata for the plugin (usually automatically extracted from the source code during build time).",
"properties": {
"extensions": {
"type": "array",
"description": "List of the extensions that the plugin registers.",
"items": {
"type": "object",
"properties": {
"extensionPointId": {
"type": "string"
},
"title": {
"type": "string"
},
"description": {
"type": "string"
},
"type": {
"type": "string",
"enum": ["link", "component"]
}
},
"required": ["extensionPointId", "title", "description", "type"]
}
}
}
}
}
}

Loading…
Cancel
Save