Index: client/html/generated/html/dartium/DOMPlugin.dart |
diff --git a/client/html/generated/html/dartium/DOMPlugin.dart b/client/html/generated/html/dartium/DOMPlugin.dart |
deleted file mode 100644 |
index 4315cdcf99b3a0554eb2b5157d67d20ec2ab6053..0000000000000000000000000000000000000000 |
--- a/client/html/generated/html/dartium/DOMPlugin.dart |
+++ /dev/null |
@@ -1,20 +0,0 @@ |
- |
-class _DOMPluginImpl extends _DOMTypeBase implements DOMPlugin { |
- _DOMPluginImpl._wrap(ptr) : super._wrap(ptr); |
- |
- String get description() => _wrap(_ptr.description); |
- |
- String get filename() => _wrap(_ptr.filename); |
- |
- int get length() => _wrap(_ptr.length); |
- |
- String get name() => _wrap(_ptr.name); |
- |
- DOMMimeType item(int index) { |
- return _wrap(_ptr.item(_unwrap(index))); |
- } |
- |
- DOMMimeType namedItem(String name) { |
- return _wrap(_ptr.namedItem(_unwrap(name))); |
- } |
-} |