diff options
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; |