diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2020-05-17 15:34:59 +0200 |
|---|---|---|
| committer | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2020-05-26 11:18:10 +0200 |
| commit | f41d284ea0b87187e84d6edab4f9a71542cfd1b1 (patch) | |
| tree | 7b19212f4185c5de74cf13f3e96db0f533a0b42b /src/librustdoc/html/static/source-script.js | |
| parent | 872ddf243e4a019d7d2ad5c803b21bffc34ea9cb (diff) | |
| download | rust-f41d284ea0b87187e84d6edab4f9a71542cfd1b1.tar.gz rust-f41d284ea0b87187e84d6edab4f9a71542cfd1b1.zip | |
Fix eslint lints
Diffstat (limited to 'src/librustdoc/html/static/source-script.js')
| -rw-r--r-- | src/librustdoc/html/static/source-script.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/librustdoc/html/static/source-script.js b/src/librustdoc/html/static/source-script.js index 567022b4139..cfbfe6675f5 100644 --- a/src/librustdoc/html/static/source-script.js +++ b/src/librustdoc/html/static/source-script.js @@ -1,5 +1,5 @@ // From rust: -/* global sourcesIndex */ +/* global search, sourcesIndex */ // Local js definitions: /* global addClass, getCurrentValue, hasClass, removeClass, updateLocalStorage */ |