tor-browser

The Tor Browser
git clone https://git.dasho.dev/tor-browser.git
Log | Files | Refs | README | LICENSE

devtools.json (629B)

      1 [
      2  {
      3    "namespace": "manifest",
      4    "types": [
      5      {
      6        "$extend": "WebExtensionManifest",
      7        "properties": {
      8          "devtools_page": {
      9            "$ref": "ExtensionURL",
     10            "optional": true
     11          }
     12        }
     13      },
     14      {
     15        "$extend": "OptionalPermission",
     16        "choices": [
     17          {
     18            "type": "string",
     19            "enum": ["devtools"]
     20          }
     21        ]
     22      }
     23    ]
     24  },
     25  {
     26    "namespace": "devtools",
     27    "permissions": ["manifest:devtools_page"],
     28    "allowedContexts": ["devtools", "devtools_only"],
     29    "defaultContexts": ["devtools", "devtools_only"]
     30  }
     31 ]