From f41d284ea0b87187e84d6edab4f9a71542cfd1b1 Mon Sep 17 00:00:00 2001 From: Guillaume Gomez Date: Sun, 17 May 2020 15:34:59 +0200 Subject: Fix eslint lints --- src/librustdoc/html/static/source-script.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/librustdoc/html/static/source-script.js') 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 */ -- cgit 1.4.1-3-g733a5