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;