diff options
| author | Andrew Dolgov <[email protected]> | 2018-11-29 21:03:55 +0300 |
|---|---|---|
| committer | Andrew Dolgov <[email protected]> | 2018-11-29 21:03:55 +0300 |
| commit | 4508e3103d12f6cb9b99c3f0471b83e799d596e9 (patch) | |
| tree | 2826914e2825d5aa448db7de1317257e2077b48b /js/prefs.js | |
| parent | 8572e0108aa76838da20d7d4ea21d6cd4b931f56 (diff) | |
some more eslint-related stuff
Diffstat (limited to 'js/prefs.js')
| -rwxr-xr-x | js/prefs.js | 4 |
1 files changed, 3 insertions, 1 deletions
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; |