From 4508e3103d12f6cb9b99c3f0471b83e799d596e9 Mon Sep 17 00:00:00 2001 From: Andrew Dolgov Date: Thu, 29 Nov 2018 21:03:55 +0300 Subject: some more eslint-related stuff --- js/prefs.js | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'js/prefs.js') diff --git a/js/prefs.js b/js/prefs.js index cfc2d6c52..792ad6b3d 100755 --- a/js/prefs.js +++ b/js/prefs.js @@ -1,4 +1,6 @@ -let init_params = new Array(); +/* global dijit, __ */ + +let init_params = []; let hotkey_prefix = false; let hotkey_prefix_pressed = false; -- cgit v1.2.3