sdk/lib/html/dartium/html_dartium.dart

Index: sdk/lib/html/dartium/html_dartium.dart
diff --git a/sdk/lib/html/dartium/html_dartium.dart b/sdk/lib/html/dartium/html_dartium.dart
index 38d2589bc98482ea472a197997bf52fb8588b8e6..1860c1153ef045b73eb13d635340bce207c1bc20 100644
--- a/sdk/lib/html/dartium/html_dartium.dart
+++ b/sdk/lib/html/dartium/html_dartium.dart
@@ -12749,8 +12749,8 @@ class InputElement extends _Element_Merged implements
 
 
 // Interfaces representing the InputElement APIs which are supported
-// for the various types of InputElement.
-// From http://dev.w3.org/html5/spec/the-input-element.html#the-input-element.
+// for the various types of InputElement. From:
+// http://www.w3.org/html/wg/drafts/html/master/forms.html#the-input-element.
 
 /**
  * Exposes the functionality common between all InputElement types.
@@ -12796,7 +12796,7 @@ abstract class InputElementBase implements Element {
 /**
  * Hidden input which is not intended to be seen or edited by the user.
  */
-abstract class HiddenInputElement implements Element {
+abstract class HiddenInputElement implements InputElementBase {
   factory HiddenInputElement() => new InputElement(type: 'hidden');
 }