[Suggestion] document.getElementById is not correctly typed in TypeScript · Issue #63 · uhyo/better-typescript-lib · GitHub

DRANK

In TypeScript, getElementById returns a HTMLElement, while the standard mandates it to return a Element in order to account for more general situations like SVGElement and alike. This change seems ...