| Index: client/html/generated/html/dartium/DedicatedWorkerContext.dart
|
| diff --git a/client/html/generated/html/dartium/DedicatedWorkerContext.dart b/client/html/generated/html/dartium/DedicatedWorkerContext.dart
|
| deleted file mode 100644
|
| index 1eeca9324e669df0f8d0a4bbf4063fddb1e70556..0000000000000000000000000000000000000000
|
| --- a/client/html/generated/html/dartium/DedicatedWorkerContext.dart
|
| +++ /dev/null
|
| @@ -1,28 +0,0 @@
|
| -
|
| -class _DedicatedWorkerContextImpl extends _WorkerContextImpl implements DedicatedWorkerContext {
|
| - _DedicatedWorkerContextImpl._wrap(ptr) : super._wrap(ptr);
|
| -
|
| - EventListener get onmessage() => _wrap(_ptr.onmessage);
|
| -
|
| - void set onmessage(EventListener value) { _ptr.onmessage = _unwrap(value); }
|
| -
|
| - void postMessage(Object message, [List messagePorts = null]) {
|
| - if (messagePorts === null) {
|
| - _ptr.postMessage(_unwrap(message));
|
| - return;
|
| - } else {
|
| - _ptr.postMessage(_unwrap(message), _unwrap(messagePorts));
|
| - return;
|
| - }
|
| - }
|
| -
|
| - void webkitPostMessage(Object message, [List transferList = null]) {
|
| - if (transferList === null) {
|
| - _ptr.webkitPostMessage(_unwrap(message));
|
| - return;
|
| - } else {
|
| - _ptr.webkitPostMessage(_unwrap(message), _unwrap(transferList));
|
| - return;
|
| - }
|
| - }
|
| -}
|
|
|