diff options
| author | binarycat <binarycat@envs.net> | 2025-08-21 22:08:11 -0500 |
|---|---|---|
| committer | binarycat <binarycat@envs.net> | 2025-08-21 22:08:11 -0500 |
| commit | 5d28ce45cacbe3825bc5c2b1abb2f701bfa9ec05 (patch) | |
| tree | 967f7ed9d6a61725d41c8aff3f78409e6b911f58 | |
| parent | 6ba0ce40941eee1ca02e9ba49c791ada5158747a (diff) | |
| download | rust-5d28ce45cacbe3825bc5c2b1abb2f701bfa9ec05.tar.gz rust-5d28ce45cacbe3825bc5c2b1abb2f701bfa9ec05.zip | |
typecheck window.searchIndex
| -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 20fc6b75d37..3dbddb8176b 100644 --- a/src/librustdoc/html/static/js/main.js +++ b/src/librustdoc/html/static/js/main.js @@ -409,7 +409,6 @@ function preLoadCss(cssUrl) { searchLoaded = true; // @ts-expect-error window.rr_ = data => { - // @ts-expect-error window.searchIndex = data; }; if (!window.StringdexOnload) { diff --git a/src/librustdoc/html/static/js/rustdoc.d.ts b/src/librustdoc/html/static/js/rustdoc.d.ts index 28852125fe1..c9253e2cdc5 100644 --- a/src/librustdoc/html/static/js/rustdoc.d.ts +++ b/src/librustdoc/html/static/js/rustdoc.d.ts @@ -93,6 +93,8 @@ declare global { pending_type_impls?: rustdoc.TypeImpls, rustdoc_add_line_numbers_to_examples?: function(), rustdoc_remove_line_numbers_from_examples?: function(), + /** JSON-encoded raw search index */ + searchIndex: 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 42b87d56252..0cc29f03b1d 100644 --- a/src/librustdoc/html/static/js/search.js +++ b/src/librustdoc/html/static/js/search.js @@ -5244,7 +5244,6 @@ if (typeof window !== "undefined") { // search.index/root is loaded by main.js, so // this script doesn't need to launch it, but // must pick it up - // @ts-ignore if (window.searchIndex) { // @ts-ignore window.rr_(window.searchIndex); |