From 30880aa66c1ee392d4e146388ca1b773cc0bb42d Mon Sep 17 00:00:00 2001
From: Tony Brix <tony@brix.ninja>
Date: Tue, 2 Jul 2019 16:28:32 -0500
Subject: [PATCH] lint

---
 docs/demo/demo.js   | 2 +-
 docs/demo/worker.js | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/docs/demo/demo.js b/docs/demo/demo.js
index c54a3a244a..fafb336ffb 100644
--- a/docs/demo/demo.js
+++ b/docs/demo/demo.js
@@ -1,4 +1,4 @@
-/* globals marked, unfetch, ES6Promise, Promise */
+/* globals marked, unfetch, ES6Promise, Promise */ // eslint-disable-line no-redeclare
 
 if (!window.Promise) {
   window.Promise = ES6Promise;
diff --git a/docs/demo/worker.js b/docs/demo/worker.js
index 01b6b7530c..6a0fa03238 100644
--- a/docs/demo/worker.js
+++ b/docs/demo/worker.js
@@ -1,4 +1,4 @@
-/* globals marked, unfetch, ES6Promise, Promise */
+/* globals marked, unfetch, ES6Promise, Promise */ // eslint-disable-line no-redeclare
 if (!self.Promise) {
   self.importScripts('https://cdn.jsdelivr.net/npm/es6-promise/dist/es6-promise.js');
   self.Promise = ES6Promise;