From c1976098e9a645fad3fb25c40ce2af39f515d980 Mon Sep 17 00:00:00 2001
From: Dan Stillman <dstillman@zotero.org>
Date: Thu, 24 Dec 2020 02:48:03 -0500
Subject: [PATCH] Run JavaScript: Hide spurious linting error

---
 chrome/content/zotero/runJS.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/chrome/content/zotero/runJS.js b/chrome/content/zotero/runJS.js
index 037c37b147..c3b175c905 100644
--- a/chrome/content/zotero/runJS.js
+++ b/chrome/content/zotero/runJS.js
@@ -32,6 +32,7 @@ async function run() {
 	resultTextbox.textContent = typeof result == 'string' ? result : Zotero.Utilities.varDump(result);
 }
 
+// eslint-disable-next-line no-unused-vars
 function openHelp() {
 	Zotero.launchURL("https://www.zotero.org/support/dev/client_coding/javascript_api");
 }