manifest.json


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

{
  "manifest_version": 2,
  "version": "0.1",
  "author": "terru",
  "name": "Isabelle markup expander",
  "description": "Parse Isabelle escape codes and replace them by unicode representation",
  "browser_specific_settings": {
    "id": "isabellemarkupexpander@stuebinm.eu",
    "gecko": {
      "data_collection_permissions": { "required" : ["none"] }
    }
  },
  "background": {
    "page": "src/background.html"
  },
  "browser_action": {
    "default_title": "Isabelle",
    "default_icon": "isabelle_new_embed.svg"
  },
  "permissions": [
    "<all_urls>"
  ]
}