From 38e4fea4552d49202021908df3fe983a3bc99f84 Mon Sep 17 00:00:00 2001
From: Dan Stillman <dstillman@zotero.org>
Date: Sat, 30 Mar 2024 05:11:42 -0400
Subject: [PATCH] Change "Add-ons" to "Plugins" in Tools menu

Addresses #3354
---
 chrome/content/zotero/zoteroPane.xhtml | 2 +-
 chrome/locale/en-US/zotero/zotero.ftl  | 3 +++
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/chrome/content/zotero/zoteroPane.xhtml b/chrome/content/zotero/zoteroPane.xhtml
index 411e6a9e1b..88fe29685f 100644
--- a/chrome/content/zotero/zoteroPane.xhtml
+++ b/chrome/content/zotero/zoteroPane.xhtml
@@ -678,7 +678,7 @@
 									accessKey="&installConnector.accesskey;"
 									label="&installConnector.label;"
 									oncommand="ZoteroStandalone.openHelp('connectors');"/>
-							<menuitem id="menu_addons" label="&addons.label;"
+							<menuitem id="menu_addons" data-l10n-id="menu-tools-plugins"
 									oncommand="Zotero.openInViewer('chrome://mozapps/content/extensions/aboutaddons.html', { onLoad: ZoteroStandalone.updateAddonsPane })"/>
 							<menu id="developer-menu"
 									label="&developer.label;">
diff --git a/chrome/locale/en-US/zotero/zotero.ftl b/chrome/locale/en-US/zotero/zotero.ftl
index 0104afd6b2..6e3b93a31a 100644
--- a/chrome/locale/en-US/zotero/zotero.ftl
+++ b/chrome/locale/en-US/zotero/zotero.ftl
@@ -42,6 +42,9 @@ menu-restoreToLibrary =
 menu-deletePermanently =
     .label = Delete Permanently…
 
+menu-tools-plugins =
+    .label = Plugins
+
 zotero-toolbar-tabs-menu =
     .tooltiptext = List all tabs
 filter-collections = Filter Collections