diff options
| author | stuebinm | 2026-06-21 11:28:15 +0200 |
|---|---|---|
| committer | stuebinm | 2026-06-21 11:28:15 +0200 |
| commit | 404114439a3367db95a0e28e7a5a1e140e369df1 (patch) | |
| tree | c7e81f71c42adb77e9cc1eaa916b3986ac3ca447 | |
| parent | b50637fe1c9d9cf1ad654a90f118ff7816442225 (diff) | |
update manifest for firefoxfirefox
| -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": { |