| Index: client/dom/generated/src/interface/HTMLInputElement.dart
|
| diff --git a/client/dom/generated/src/interface/HTMLInputElement.dart b/client/dom/generated/src/interface/HTMLInputElement.dart
|
| index e4b2e29abfe38665476e52089fb9b44c93d29771..95d7a944a58753892c90f19bf52d284f775e5a16 100644
|
| --- a/client/dom/generated/src/interface/HTMLInputElement.dart
|
| +++ b/client/dom/generated/src/interface/HTMLInputElement.dart
|
| @@ -102,10 +102,6 @@ interface HTMLInputElement extends HTMLElement {
|
|
|
| void set name(String value);
|
|
|
| - EventListener get onwebkitspeechchange();
|
| -
|
| - void set onwebkitspeechchange(EventListener value);
|
| -
|
| String get pattern();
|
|
|
| void set pattern(String value);
|
|
|