| Index: lib/html/src/SVGSVGElement.dart | 
| diff --git a/lib/html/src/SVGSVGElement.dart b/lib/html/src/SVGSVGElement.dart | 
| index d18fde684548363e19348ce35d5ebceadfe07c0e..e90bd87130649a7dda54e295eee00e090af55a50 100644 | 
| --- a/lib/html/src/SVGSVGElement.dart | 
| +++ b/lib/html/src/SVGSVGElement.dart | 
| @@ -7,41 +7,41 @@ interface SVGSVGElement extends SVGElement, SVGTests, SVGLangSpace, SVGExternalR | 
|  | 
| SVGSVGElement(); | 
|  | 
| -  String get contentScriptType(); | 
| +  String get contentScriptType; | 
|  | 
| void set contentScriptType(String value); | 
|  | 
| -  String get contentStyleType(); | 
| +  String get contentStyleType; | 
|  | 
| void set contentStyleType(String value); | 
|  | 
| -  num get currentScale(); | 
| +  num get currentScale; | 
|  | 
| void set currentScale(num value); | 
|  | 
| -  SVGPoint get currentTranslate(); | 
| +  SVGPoint get currentTranslate; | 
|  | 
| -  SVGAnimatedLength get height(); | 
| +  SVGAnimatedLength get height; | 
|  | 
| -  num get pixelUnitToMillimeterX(); | 
| +  num get pixelUnitToMillimeterX; | 
|  | 
| -  num get pixelUnitToMillimeterY(); | 
| +  num get pixelUnitToMillimeterY; | 
|  | 
| -  num get screenPixelToMillimeterX(); | 
| +  num get screenPixelToMillimeterX; | 
|  | 
| -  num get screenPixelToMillimeterY(); | 
| +  num get screenPixelToMillimeterY; | 
|  | 
| -  bool get useCurrentView(); | 
| +  bool get useCurrentView; | 
|  | 
| void set useCurrentView(bool value); | 
|  | 
| -  SVGRect get viewport(); | 
| +  SVGRect get viewport; | 
|  | 
| -  SVGAnimatedLength get width(); | 
| +  SVGAnimatedLength get width; | 
|  | 
| -  SVGAnimatedLength get x(); | 
| +  SVGAnimatedLength get x; | 
|  | 
| -  SVGAnimatedLength get y(); | 
| +  SVGAnimatedLength get y; | 
|  | 
| bool animationsPaused(); | 
|  | 
|  |