JSON schema for `marketplace.json`

schema.json

{
  "$schema": "http://json-schema.org/draft-07/schema#",
  "additionalProperties": false,
  "properties": {
    "deprecated": {
      "anyOf": [
        {
          "type": "boolean"
        },
        {
          "additionalProperties": false,
          "properties": {
            "disallowInstall": {
              "type": "boolean"
            },
            "extension": {
              "additionalProperties": false,
              "properties": {
                "displayName": {
                  "type": "string"
                },
                "id": {
                  "type": "string"
                }
              },
              "required": [
                "id",
                "displayName"
              ],
              "type": "object"
            },
            "settings": {
              "items": {
                "type": "string"
              },
              "type": "array"
            }
          },
          "type": "object"
        }
      ]
    },
    "malicious": {
      "items": {
        "type": "string"
      },
      "type": "array"
    },
    "migrateToPreRelease": {
      "additionalProperties": false,
      "properties": {
        "displayName": {
          "type": "string"
        },
        "engine": {
          "type": "string"
        },
        "id": {
          "type": "string"
        },
        "migrateStorage": {
          "type": "boolean"
        }
      },
      "required": [
        "id",
        "displayName"
      ],
      "type": "object"
    }
  },
  "required": [
    "malicious"
  ],
  "type": "object"
}