diff options
| author | binarycat <binarycat@envs.net> | 2025-08-21 22:19:46 -0500 |
|---|---|---|
| committer | binarycat <binarycat@envs.net> | 2025-08-21 22:19:46 -0500 |
| commit | 4b73a7ec7887f3ca5116d15cb4a277040708337c (patch) | |
| tree | f6c73c9944fe9b4930902ae91df5191d1b12ab9c | |
| parent | 5d28ce45cacbe3825bc5c2b1abb2f701bfa9ec05 (diff) | |
| download | rust-4b73a7ec7887f3ca5116d15cb4a277040708337c.tar.gz rust-4b73a7ec7887f3ca5116d15cb4a277040708337c.zip | |
typecheck window.rr_
| -rw-r--r-- | src/librustdoc/html/static/js/main.js | 1 | ||||
| -rw-r--r-- | src/librustdoc/html/static/js/rustdoc.d.ts | 2 | ||||
| -rw-r--r-- | src/librustdoc/html/static/js/search.js | 1 |
3 files changed, 2 insertions, 2 deletions
diff --git a/src/librustdoc/html/static/js/main.js b/src/librustdoc/html/static/js/main.js index 3dbddb8176b..9dbcc9cd138 100644 --- a/src/librustdoc/html/static/js/main.js +++ b/src/librustdoc/html/static/js/main.js @@ -407,7 +407,6 @@ function preLoadCss(cssUrl) { function loadSearch() { if (!searchLoaded) { searchLoaded = true; - // @ts-expect-error window.rr_ = data => { window.searchIndex = data; }; diff --git a/src/librustdoc/html/static/js/rustdoc.d.ts b/src/librustdoc/html/static/js/rustdoc.d.ts index c9253e2cdc5..8dfbb2bb9ed 100644 --- a/src/librustdoc/html/static/js/rustdoc.d.ts +++ b/src/librustdoc/html/static/js/rustdoc.d.ts @@ -95,6 +95,8 @@ declare global { rustdoc_remove_line_numbers_from_examples?: function(), /** JSON-encoded raw search index */ searchIndex: string, + /** Used in search index shards in order to load data into the in-memory database */ + rr_: function(string), } interface HTMLElement { /** Used by the popover tooltip code. */ diff --git a/src/librustdoc/html/static/js/search.js b/src/librustdoc/html/static/js/search.js index 0cc29f03b1d..bd9dfe45889 100644 --- a/src/librustdoc/html/static/js/search.js +++ b/src/librustdoc/html/static/js/search.js @@ -5245,7 +5245,6 @@ if (typeof window !== "undefined") { // this script doesn't need to launch it, but // must pick it up if (window.searchIndex) { - // @ts-ignore window.rr_(window.searchIndex); } }, |