| 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)));
|
| - }
|
| -}
|
|
|