///|
#external
type WebGLRenderingContext