OpenGL 4.2 additions.
OpenGL 4.2 renamings.