| Index: client/html/generated/html/dartium/MediaQueryList.dart
|
| diff --git a/client/html/generated/html/dartium/MediaQueryList.dart b/client/html/generated/html/dartium/MediaQueryList.dart
|
| deleted file mode 100644
|
| index 64d0f8baf0a7ec0d24bc7c86479666d4e60dbff7..0000000000000000000000000000000000000000
|
| --- a/client/html/generated/html/dartium/MediaQueryList.dart
|
| +++ /dev/null
|
| @@ -1,18 +0,0 @@
|
| -
|
| -class _MediaQueryListImpl extends _DOMTypeBase implements MediaQueryList {
|
| - _MediaQueryListImpl._wrap(ptr) : super._wrap(ptr);
|
| -
|
| - bool get matches() => _wrap(_ptr.matches);
|
| -
|
| - String get media() => _wrap(_ptr.media);
|
| -
|
| - void addListener(MediaQueryListListener listener) {
|
| - _ptr.addListener(_unwrap(listener));
|
| - return;
|
| - }
|
| -
|
| - void removeListener(MediaQueryListListener listener) {
|
| - _ptr.removeListener(_unwrap(listener));
|
| - return;
|
| - }
|
| -}
|
|
|