Even more lint fixes

Expensify · Nov 18, 2024 · 4715f2e · 4715f2e
1 parent 6bce953
commit 4715f2e
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/help/default.js b/help/default.js
@@ -78,7 +78,6 @@ document.getElementById('hamburger').addEventListener('click', function () {
 // Keep track of the search results
 let g_searchResultsArray = [];
 let g_currentSelectionIndex = -1;
-let g_highlightedSection = null;
 
 // Declare the index variable globally so it can be reused
 let g_index = null;