From 404114439a3367db95a0e28e7a5a1e140e369df1 Mon Sep 17 00:00:00 2001
From: stuebinm
Date: Sun, 21 Jun 2026 11:28:15 +0200
Subject: update manifest for firefox

---
 manifest.json | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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": {
-- 
cgit v1.2.3