Index: client/html/generated/html/dartium/StyleMedia.dart |
diff --git a/client/html/generated/html/dartium/StyleMedia.dart b/client/html/generated/html/dartium/StyleMedia.dart |
deleted file mode 100644 |
index 3b9dc076be35fda8a18a412d2dc8b7ea56f49346..0000000000000000000000000000000000000000 |
--- a/client/html/generated/html/dartium/StyleMedia.dart |
+++ /dev/null |
@@ -1,10 +0,0 @@ |
- |
-class _StyleMediaImpl extends _DOMTypeBase implements StyleMedia { |
- _StyleMediaImpl._wrap(ptr) : super._wrap(ptr); |
- |
- String get type() => _wrap(_ptr.type); |
- |
- bool matchMedium(String mediaquery) { |
- return _wrap(_ptr.matchMedium(_unwrap(mediaquery))); |
- } |
-} |