Plugins: Update the `plugin.json` schema with UI extensions meta-data (#88288)

* feat: change the `generated` property

* refactor: update the schema description for the "extensions" field
pull/88372/head
Levente Balogh 2 years ago committed by GitHub
parent 4761326568
commit f77f47ff00
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
  1. 46
      docs/sources/developers/plugins/plugin.schema.json

@ -556,33 +556,27 @@
}
}
},
"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"]
"extensions": {
"type": "array",
"description": "The list of extensions that the plugin registers under other extension points.",
"items": {
"type": "object",
"properties": {
"extensionPointId": {
"type": "string"
},
"title": {
"type": "string"
},
"description": {
"type": "string"
},
"type": {
"type": "string",
"enum": ["link", "component"]
}
}
},
"required": ["extensionPointId", "title", "type"]
}
},
"apiVersion": {

Loading…
Cancel
Save