From 2df6b8bca0f78445052a2eab57d4c6b1f1bdb298 Mon Sep 17 00:00:00 2001 From: Rob Garrison Date: Sat, 26 Aug 2017 09:49:14 -0500 Subject: [PATCH] Clean up lint globals --- edit/lint.js | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/edit/lint.js b/edit/lint.js index e7d3d492..ff6c0f94 100644 --- a/edit/lint.js +++ b/edit/lint.js @@ -1,4 +1,5 @@ -/* global CodeMirror CSSLint editors makeSectionVisible showHelp showCodeMirrorPopup messageBox */ +/* global CodeMirror messageBox */ +/* global editors makeSectionVisible showCodeMirrorPopup showHelp */ /* global stylelintDefaultConfig csslintDefaultRuleset onDOMscripted injectCSS require */ 'use strict'; @@ -214,7 +215,7 @@ function showLintHelp() { let list = '