Add stable extension id to json (#5606)

* Add stable extension id to json * Similar fix for Windows as well
JabRef · Nov 13, 2019 · ad60111 · ad60111
1 parent 7236581
commit ad60111
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/buildres/linux/org.jabref.jabref.json b/buildres/linux/org.jabref.jabref.json
@@ -4,6 +4,7 @@
   "path": "/opt/jabref/lib/jabrefHost.py",
   "type": "stdio",
   "allowed_extensions": [
-    "browserextension@jabref.org"
+    "browserextension@jabref.org",
+    "@jabfox"
   ]
 }
diff --git a/buildres/windows/jabref.json b/buildres/windows/jabref.json
@@ -4,6 +4,7 @@
   "path": "JabRefHost.bat",
   "type": "stdio",
   "allowed_extensions": [
-    "browserextension@jabref.org"
+    "browserextension@jabref.org",
+    "@jabfox"
   ]
 }