Typed definitions for standard Javascript globals