diff options
author | Andrew Dolgov <[email protected]> | 2020-06-04 23:27:22 +0300 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2020-06-04 23:27:22 +0300 |
commit | 88027d7a3913872c16f42cb9d9d713aa994eb034 (patch) | |
tree | 1fe058c07c0e5d532c063bd0e4e7b69a47096ae2 /js/prefs.js | |
parent | 755662a9d756fffa225343da847de2a36f464c7b (diff) |
fix various minor issues reported by eslint
Diffstat (limited to 'js/prefs.js')
-rwxr-xr-x | js/prefs.js | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/js/prefs.js b/js/prefs.js index 94cfe6394..a71b4f39e 100755 --- a/js/prefs.js +++ b/js/prefs.js @@ -1,5 +1,8 @@ 'use strict' +/* global require, App */ + +/* exported Plugins */ const Plugins = {}; require(["dojo/_base/kernel", |