From 7ee3c424fcf3724cd7c6a408c964998f2d462046 Mon Sep 17 00:00:00 2001
From: Abe Jellinek <jellinek@berkeley.edu>
Date: Fri, 1 Sep 2023 11:23:30 -0400
Subject: [PATCH] Browser Toolbox -> Developer Toolbox

---
 chrome/content/zotero/standalone/standalone.js | 2 +-
 chrome/content/zotero/zoteroPane.xhtml         | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/chrome/content/zotero/standalone/standalone.js b/chrome/content/zotero/standalone/standalone.js
index ec1a2daf73..0d3677e356 100644
--- a/chrome/content/zotero/standalone/standalone.js
+++ b/chrome/content/zotero/standalone/standalone.js
@@ -961,7 +961,7 @@ function toJavaScriptConsole() {
 	BrowserConsoleManager.openBrowserConsoleOrFocus();
 }
 
-function launchBrowserToolbox() {
+function launchDeveloperToolbox() {
 	const { BrowserToolboxLauncher } = ChromeUtils.import("resource://devtools/client/framework/browser-toolbox/Launcher.jsm");
 	// Don't launch if already open
 	// (Can we focus the existing toolbox process?)
diff --git a/chrome/content/zotero/zoteroPane.xhtml b/chrome/content/zotero/zoteroPane.xhtml
index 232958adb7..b36f99a90f 100644
--- a/chrome/content/zotero/zoteroPane.xhtml
+++ b/chrome/content/zotero/zoteroPane.xhtml
@@ -684,7 +684,7 @@
 									label="&developer.label;">
 								<menupopup>
 									<menuitem id="menu_errorConsole" label="Error Console" oncommand="toJavaScriptConsole()"/>
-									<menuitem id="menu_browserToolbox" label="Browser Toolbox" oncommand="launchBrowserToolbox()"/>
+									<menuitem id="menu_developerToolbox" label="Developer Toolbox" oncommand="launchDeveloperToolbox()"/>
 									<menuitem id="menu_runJS" label="Run JavaScript" oncommand="openRunJSWindow()"/>
 									<menuitem id="style-editor-menu-item" label="Style Editor" oncommand="openStyleEditor()"/>
 									<menuitem id="scaffold-menu-item" label="Translator Editor" oncommand="openScaffold()"/>