ts: Migrate gear_menu.js to TypeScript.

Includes adding various missing values to page_params.
This commit is contained in:
Adarsh Tiwari
2023-03-29 22:06:52 +05:30
committed by GitHub
parent de8148bc9e
commit 78fdb6135a
3 changed files with 17 additions and 6 deletions

View File

@@ -88,7 +88,7 @@ EXEMPT_FILES = make_set(
"web/src/feature_flags.ts",
"web/src/feedback_widget.js",
"web/src/flatpickr.js",
"web/src/gear_menu.js",
"web/src/gear_menu.ts",
"web/src/giphy.js",
"web/src/global.d.ts",
"web/src/hash_util.js",