Making HiddenInputElement implement InputElementBase.

sdk/lib/html/dart2js/html_dart2js.dart

 /// The Dart HTML library.
 library dart.dom.html;
 
 import 'dart:async';
 import 'dart:collection';
 import 'dart:_collection-dev';
 import 'dart:html_common';
 import 'dart:indexed_db';
 import 'dart:isolate';
 import 'dart:json' as json;
@@ skipping 12040 matching lines @@
   void stepUp([int n]) native;
 
   @DomName('HTMLInputElement.onwebkitSpeechChange')
   @DocsEditable
   Stream<Event> get onSpeechChange => speechChangeEvent.forTarget(this);
 
 }
 
 
 // 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.
  */
 abstract class InputElementBase implements Element {
   @DomName('HTMLInputElement.autofocus')
   bool autofocus;
 
   @DomName('HTMLInputElement.disabled')
   bool disabled;
@@ skipping 25 matching lines @@
   @DomName('HTMLInputElement.checkValidity')
   bool checkValidity();
 
   @DomName('HTMLInputElement.setCustomValidity')
   void setCustomValidity(String error);
 }
 
 /**
  * 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');
 }
 
 
 /**
  * Base interface for all inputs which involve text editing.
  */
 abstract class TextInputElementBase implements InputElementBase {
   @DomName('HTMLInputElement.autocomplete')
   String autocomplete;
@@ skipping 17433 matching lines @@
       _position = nextPosition;
       return true;
     }
     _current = null;
     _position = _array.length;
     return false;
   }
 
   T get current => _current;
 }