| 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 52c198598cee408df88fd00699cab51851bfd155..bccd9e172de41b3d2026d55432493f5352c2eb35 100644
|
| --- a/sdk/lib/html/dart2js/html_dart2js.dart
|
| +++ b/sdk/lib/html/dart2js/html_dart2js.dart
|
| @@ -12058,8 +12058,8 @@ class InputElement extends Element 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.
|
| @@ -12105,7 +12105,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');
|
| }
|
|
|
|
|