| Index: sdk/lib/html/dart2js/html_dart2js.dart
|
| diff --git a/sdk/lib/html/dart2js/html_dart2js.dart b/sdk/lib/html/dart2js/html_dart2js.dart
|
| index b23c82af392da3281d701c23677cf871dd8b42a2..ae24829db0fe88a3aa3d46bd3c6074e1ac84170e 100644
|
| --- a/sdk/lib/html/dart2js/html_dart2js.dart
|
| +++ b/sdk/lib/html/dart2js/html_dart2js.dart
|
| @@ -7997,7 +7997,7 @@ class DocumentFragment extends Node implements ParentNode native "DocumentFragme
|
| @DomName('DocumentType')
|
| // http://www.w3.org/TR/DOM-Level-3-Core/core.html#ID-412266927
|
| @deprecated // stable
|
| -abstract class DocumentType extends Node implements ChildNode {
|
| +class DocumentType extends Node implements ChildNode native "DocumentType" {
|
| // To suppress missing implicit constructor warnings.
|
| factory DocumentType._() { throw new UnsupportedError("Not supported"); }
|
|
|
|
|