diff options
| -rw-r--r-- | manifest.json | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/manifest.json b/manifest.json index aae266b..42f6893 100644 --- a/manifest.json +++ b/manifest.json @@ -5,8 +5,9 @@ "name": "Isabelle markup expander", "description": "Parse Isabelle escape codes and replace them by unicode representation", "browser_specific_settings": { + "id": "isabellemarkupexpander@stuebinm.eu", "gecko": { - "id": "messageDisplayScript@mv2.sample.extensions.thunderbird.net" + "data_collection_permissions": { "required" : ["none"] } } }, "background": { |