Accept type argument to getElementById

Sainan · web-flow · commit 9031d1d0456b · 2025-09-09T15:06:30.000+02:00
This provides an alternative to the common pattern of `document.getElementById("...") as HTMLWhateverElement` which casts away the possibility of `null`, consequently hiding a potential type error.
diff --git a/inputfiles/overridingTypes.jsonc b/inputfiles/overridingTypes.jsonc
@@ -654,7 +654,7 @@
                         "getElementById": {
                             "name": "getElementById",
                             "overrideSignatures": [
-                                "getElementById(elementId: string): HTMLElement | null"
+                                "getElementById<T = HTMLElement>(elementId: string): T | null"
                             ]
                         },
                         "getElementsByTagNameNS": {

Original file line number	Diff line number	Diff line change
`@@ -654,7 +654,7 @@`
`654`	`654`	`"getElementById": {`
`655`	`655`	`"name": "getElementById",`
`656`	`656`	`"overrideSignatures": [`
`657`		`- "getElementById(elementId: string): HTMLElement \| null"`
	`657`	`+ "getElementById<T = HTMLElement>(elementId: string): T \| null"`
`658`	`658`	`]`
`659`	`659`	`},`
`660`	`660`	`"getElementsByTagNameNS": {`