From 508f53d54799838c1d1815010d3da842d0a6a00b Mon Sep 17 00:00:00 2001 From: ChengXiangdong Date: Tue, 6 Sep 2022 16:33:16 +0800 Subject: [PATCH] fix: remove unused variable and symbol --- static/js/glossary.js | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/static/js/glossary.js b/static/js/glossary.js index b6e8a73221..3b79560391 100644 --- a/static/js/glossary.js +++ b/static/js/glossary.js @@ -37,7 +37,6 @@ $( document ).ready(function() { function updateParams(paramHash) { var urlWithoutQuery = window.location.href.split('?')[0]; - var urlHash = window.location.hash; window.history.pushState(null,null, urlWithoutQuery + "?" + $.param(paramHash) + window.location.hash); } @@ -158,7 +157,7 @@ $( document ).ready(function() { permalink.removeClass("hide"); }).mouseleave(function(){ permalink.addClass("hide"); - });; + }); }); };