Fix WebGL operations for dartc and frog.

client/dom/generated/wrapping_dom_externs.js

 // Copyright (c) 2011, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 // WARNING: Do not edit - generated code.
 
 /**
  * @fileoverview Dart externs for DOM runtime.
  * @externs
  */
@@ skipping 614 matching lines @@
 dom_externs.getSelection;               // operation DOMWindow.getSelection, operation Document.getSelection
 dom_externs.getShaderInfoLog;           // operation WebGLRenderingContext.getShaderInfoLog
 dom_externs.getShaderParameter;         // operation WebGLRenderingContext.getShaderParameter
 dom_externs.getShaderSource;            // operation WebGLRenderingContext.getShaderSource
 dom_externs.getSimpleDuration;          // operation SVGAnimationElement.getSimpleDuration
 dom_externs.getStartPositionOfChar;     // operation SVGTextContentElement.getStartPositionOfChar
 dom_externs.getStartTime;               // operation SVGAnimationElement.getStartTime
 dom_externs.getStorageUpdates;          // operation Navigator.getStorageUpdates
 dom_externs.getStringValue;             // operation CSSPrimitiveValue.getStringValue
 dom_externs.getSubStringLength;         // operation SVGTextContentElement.getSubStringLength
-dom_externs.getSupportedExtensions;     // operation WebGLRenderingContext.getSupportedExtensions
 dom_externs.getTexParameter;            // operation WebGLRenderingContext.getTexParameter
 dom_externs.getTotalLength;             // operation SVGPathElement.getTotalLength
 dom_externs.getTransformToElement;      // operation SVGAElement.getTransformToElement, operation SVGCircleElement.getTransformToElement, operation SVGClipPathElement.getTransformToElement, operation SVGDefsElement.getTransformToElement, operation SVGEllipseElement.getTransformToElement, operation SVGForeignObjectElement.getTransformToElement, operation SVGGElement.getTransformToElement, operation SVGImageElement.getTransformToElement, operation SVGLineElement.getTransformToElement, operation SVGLocatable.getTransformToElement, operation SVGPathElement.getTransformToElement, operation SVGPolygonElement.getTransformToElement, operation SVGPolylineElement.getTransformToElement, operation SVGRectElement.getTransformToElement, operation SVGSVGElement.getTransformToElement, operation SVGSwitchElement.getTransformToElement, operation SVGTextElement.getTransformToElement, operation SVGUseElement.getTransformToElement
 dom_externs.getTranslatedShaderSource;  // operation WebGLDebugShaders.getTranslatedShaderSource
 dom_externs.getUint16;                  // operation DataView.getUint16
 dom_externs.getUint32;                  // operation DataView.getUint32
 dom_externs.getUint8;                   // operation DataView.getUint8
 dom_externs.getUniform;                 // operation WebGLRenderingContext.getUniform
 dom_externs.getUniformLocation;         // operation WebGLRenderingContext.getUniformLocation
 dom_externs.getVertexAttrib;            // operation WebGLRenderingContext.getVertexAttrib
@@ skipping 934 matching lines @@
 dom_externs.y;                          // attribute HTMLImageElement.y, attribute MouseEvent.y, attribute SVGCursorElement.y, attribute SVGFEBlendElement.y, attribute SVGFEColorMatrixElement.y, attribute SVGFEComponentTransferElement.y, attribute SVGFECompositeElement.y, attribute SVGFEConvolveMatrixElement.y, attribute SVGFEDiffuseLightingElement.y, attribute SVGFEDisplacementMapElement.y, attribute SVGFEDropShadowElement.y, attribute SVGFEFloodElement.y, attribute SVGFEGaussianBlurElement.y, attribute SVGFEImageElement.y, attribute SVGFEMergeElement.y, attribute SVGFEMorphologyElement.y, attribute SVGFEOffsetElement.y, attribute SVGFEPointLightElement.y, attribute SVGFESpecularLightingElement.y, attribute SVGFESpotLightElement.y, attribute SVGFETileElement.y, attribute SVGFETurbulenceElement.y, attribute SVGFilterElement.y, attribute SVGFilterPrimitiveStandardAttributes.y, attribute SVGForeignObjectElement.y, attribute SVGGlyphRefElement.y, attribute SVGImageElement.y, attribute SVGMaskElement.y, attribute SVGPathSegArcAbs.y, attribute SVGPathSegArcRel.y, attribute SVGPathSegCurvetoCubicAbs.y, attribute SVGPathSegCurvetoCubicRel.y, attribute SVGPathSegCurvetoCubicSmoothAbs.y, attribute SVGPathSegCurvetoCubicSmoothRel.y, attribute SVGPathSegCurvetoQuadraticAbs.y, attribute SVGPathSegCurvetoQuadraticRel.y, attribute SVGPathSegCurvetoQuadraticSmoothAbs.y, attribute SVGPathSegCurvetoQuadraticSmoothRel.y, attribute SVGPathSegLinetoAbs.y, attribute SVGPathSegLinetoRel.y, attribute SVGPathSegLinetoVerticalAbs.y, attribute SVGPathSegLinetoVerticalRel.y, attribute SVGPathSegMovetoAbs.y, attribute SVGPathSegMovetoRel.y, attribute SVGPatternElement.y, attribute SVGPoint.y, attribute SVGRect.y, attribute SVGRectElement.y, attribute SVGSVGElement.y, attribute SVGTextPositioningElement.y, attribute SVGUseElement.y, attribute WebKitPoint.y, attribute WheelEvent.y
 dom_externs.y1;                         // attribute SVGLineElement.y1, attribute SVGLinearGradientElement.y1, attribute SVGPathSegCurvetoCubicAbs.y1, attribute SVGPathSegCurvetoCubicRel.y1, attribute SVGPathSegCurvetoQuadraticAbs.y1, attribute SVGPathSegCurvetoQuadraticRel.y1
 dom_externs.y2;                         // attribute SVGLineElement.y2, attribute SVGLinearGradientElement.y2, attribute SVGPathSegCurvetoCubicAbs.y2, attribute SVGPathSegCurvetoCubicRel.y2, attribute SVGPathSegCurvetoCubicSmoothAbs.y2, attribute SVGPathSegCurvetoCubicSmoothRel.y2
 dom_externs.yChannelSelector;           // attribute SVGFEDisplacementMapElement.yChannelSelector
 dom_externs.z;                          // attribute SVGFEPointLightElement.z, attribute SVGFESpotLightElement.z
 dom_externs.zoomAndPan;                 // attribute SVGSVGElement.zoomAndPan, attribute SVGViewElement.zoomAndPan, attribute SVGZoomAndPan.zoomAndPan
 dom_externs.zoomRectScreen;             // attribute SVGZoomEvent.zoomRectScreen
 
 
 }