[
  {
    "namespace": "manifest",
    "types": [
      {
        "$extend": "WebExtensionManifest",
        "properties": {
          "devtools_page": {
            "$ref": "ExtensionURL",
            "optional": true
          }
        }
      }
    ]
  }
]