diff options
| author | David Mehren | 2021-02-12 23:57:34 +0100 |
|---|---|---|
| committer | GitHub | 2021-02-12 23:57:34 +0100 |
| commit | f3b733dd408c0de6b190dcc1a7d6706f3d89f3a2 (patch) | |
| tree | 217434ebe0b19409a17872a5e12fa8ec5781549e /public | |
| parent | 34faec890c92f89466f4618514762e0d8da8d2ef (diff) | |
| parent | 788e7d460a976e1977d635da4e52a648dc282107 (diff) | |
Merge pull request #885 from hedgedoc/renovate/master-spin.js-4.x
Diffstat (limited to '')
| -rw-r--r-- | public/js/index.js | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/public/js/index.js b/public/js/index.js index 92acd130..adc95461 100644 --- a/public/js/index.js +++ b/public/js/index.js @@ -1,6 +1,6 @@ /* eslint-env browser, jquery */ /* eslint no-console: ["error", { allow: ["warn", "error", "debug"] }] */ -/* global CodeMirror, Cookies, moment, Spinner, Idle, serverurl, +/* global CodeMirror, Cookies, moment, Idle, serverurl, key, Dropbox, ot, hex2rgb, Visibility */ import TurndownService from 'turndown' @@ -10,6 +10,7 @@ import randomColor from 'randomcolor' import store from 'store' import hljs from 'highlight.js' import url from 'wurl' +import { Spinner } from 'spin.js' import _ from 'lodash' |