manifest.json

{
  "manifest_version": 3,
  "name": "Braid Chrome Extension",
  "version": "0.0.242",
  "permissions": [
    "activeTab",
    "tabs",
    "storage",
    "scripting",
    "background",
    "webRequest",

    // For adding headers to requests:
    //  - The Feedback permission lets us track which patterns matched and
    //    didn't with an API (see print_matched_rules() in service-worker)
    //  - The HostAccess one gives permission for something about url matching
    //    matters that we don't seem to need.
    "declarativeNetRequest",
    "declarativeNetRequestFeedback"
    // "declarativeNetRequestWithHostAccess"
  ],
  "devtools_page": "devtools.html",
  "host_permissions": [
    "https://*/*",
    "http://*/*",
    "file:///*"
  ],
  "action": {
    "default_popup": "popup.html",
    "default_icon": {
      "16": "braid-b.png",
      "48": "braid-b.png",
      "128": "braid-b.png"
    }
  },
  "icons": {
    "16": "braid-b.png",
    "48": "braid-b.png",
    "128": "braid-b.png"
  },
  "web_accessible_resources": [
    {
      "resources": [
        "dt_bg.wasm",
        "braid-http-client.js",
        "myers-diff1.js",
        "apply-patch.js"
      ],
      "matches": [
        "<all_urls>"
      ]
    }
  ],
  "content_scripts": [
    {
      "matches": [
        "<all_urls>"
      ],
      "js": [
        "./content-script.js",
        "./dt.js",
        "./myers-diff1.js",
        "./braid-http-client.js",
        "./apply-patch.js"
      ],
      // run_at can be document_start, document_end, or document_idle (default)
      "run_at": "document_start"
    }
  ],
  "background": {
    "service_worker": "service-worker.js"
  },
  // "commands": {
  //   "_execute_browser_action": {
  //     "suggested_key": {
  //       "default": "Ctrl+Shift+B",
  //       "mac": "MacCtrl+Shift+B"
  //     },
  //     "description": "Open Braid Devtools"
  //   }
  // },
  "declarative_net_request": {
    "rule_resources" : [{
      "id": "add_subscribe_header",
      "enabled": false,  // Disabled for now
      "path": "add_subscribe_header.json"
    }]
  }

}