From b777e775f4865222d24281ca51724ac3f210b6a2 Mon Sep 17 00:00:00 2001
From: Wojciech Maj <kontakt@wojtekmaj.pl>
Date: Sun, 22 Dec 2019 18:14:52 +0100
Subject: [PATCH] Use const in viewer_compatibility.js

---
 web/viewer_compatibility.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/web/viewer_compatibility.js b/web/viewer_compatibility.js
index 55b9fc33a..cc897603b 100644
--- a/web/viewer_compatibility.js
+++ b/web/viewer_compatibility.js
@@ -12,8 +12,9 @@
  * See the License for the specific language governing permissions and
  * limitations under the License.
  */
+/* eslint no-var: error, prefer-const: error */
 
-let compatibilityParams = Object.create(null);
+const compatibilityParams = Object.create(null);
 if (typeof PDFJSDev === 'undefined' || PDFJSDev.test('GENERIC')) {
   const userAgent =
     (typeof navigator !== 'undefined' && navigator.userAgent) || '';