Update index.html

sharkdp · Sep 3, 2018 · 60f7e5f · 60f7e5f
1 parent b89c549
commit 60f7e5f
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/web/index.html b/web/index.html
@@ -67,8 +67,8 @@
           ga('send', 'event', 'user-input', 'success', line);
         }
 
-        const url = "/?q=" + encodeURIComponent(line)
-        history.replaceState(null, "", url)
+        var url = "/?q=" + encodeURIComponent(line);
+        history.replaceState(null, "", url);
 
         return res.msg;
       }