From 3233a448c6cd7f4636daf4008fe8b98d288219d0 Mon Sep 17 00:00:00 2001
From: hoijui
Date: Tue, 29 Oct 2019 11:57:51 +0100
Subject: make `headerIds` `const` [fix]

Signed-off-by: hoijui <hoijui.quaero@gmail.com>
---
 public/js/extra.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/public/js/extra.js b/public/js/extra.js
index 810d6146..23944a17 100644
--- a/public/js/extra.js
+++ b/public/js/extra.js
@@ -909,7 +909,7 @@ export function deduplicatedHeaderId (view) {
     // all headers contained in the document, in order of appearance
     const allHeaders = view.find(`:header`).toArray()
     // list of finaly assigned header IDs
-    let headerIds = new Set()
+    const headerIds = new Set()
     for (let j = 0; j < allHeaders.length; j++) {
       const $header = $(allHeaders[j])
       const id = $header.attr('id')
-- 
cgit v1.2.3