| Index: client/dom/generated/src/interface/HTMLStyleElement.dart
|
| diff --git a/client/dom/generated/src/interface/HTMLStyleElement.dart b/client/dom/generated/src/interface/HTMLStyleElement.dart
|
| index 9c7908be7bbffd6e9db48a59ec138cf165bcbc42..c5fab9889e326e75887046dafac8c2b1d79b7d8b 100644
|
| --- a/client/dom/generated/src/interface/HTMLStyleElement.dart
|
| +++ b/client/dom/generated/src/interface/HTMLStyleElement.dart
|
| @@ -14,10 +14,6 @@ interface HTMLStyleElement extends HTMLElement {
|
|
|
| void set media(String value);
|
|
|
| - bool get scoped();
|
| -
|
| - void set scoped(bool value);
|
| -
|
| StyleSheet get sheet();
|
|
|
| String get type();
|
|
|