Platform-specific type WebGLRenderingContext