Forgot to update webgl2.idl from last commit