WebGLExtensions: Added header.