Get rid of ObjectElement#svgDocument.

client/html/release/html.dart

 #library('html');
 
 #import('dart:dom', prefix:'dom');
 #import('dart:htmlimpl');
 // 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.
 
 // DO NOT EDIT
 // Auto-generated Dart HTML library.
@@ skipping 12628 matching lines @@
   String get width();
 
   void set width(String value);
 
   bool get willValidate();
 
   bool checkValidity();
 
   void setCustomValidity(String error);
 
-  SVGDocument get svgDocument();
+  // Don't support getSVGDocument because the content document won't have all
+  // the necessary patches to the prototype hierarchy under Frog.
 }
 // 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.
 
 interface OverflowEvent extends Event factory OverflowEventWrappingImplementation {
 
   OverflowEvent(int orient, bool horizontalOverflow, bool verticalOverflow);
 
   static final int BOTH = 2;
@@ skipping 824 matching lines @@
   EventListenerList get abort();
   EventListenerList get error();
   EventListenerList get load();
   EventListenerList get loadStart();
   EventListenerList get progress();
 }
 
 interface XMLHttpRequestUpload extends EventTarget {
   XMLHttpRequestUploadEvents get on();
 }