| Index: sdk/lib/_internal/compiler/implementation/lib/isolate_patch.dart
|
| diff --git a/sdk/lib/_internal/compiler/implementation/lib/isolate_patch.dart b/sdk/lib/_internal/compiler/implementation/lib/isolate_patch.dart
|
| index cd661b177c6e36fecad20d7693239517edeb1310..a948a8311e4cf9044c309f611f48d2e84625890f 100644
|
| --- a/sdk/lib/_internal/compiler/implementation/lib/isolate_patch.dart
|
| +++ b/sdk/lib/_internal/compiler/implementation/lib/isolate_patch.dart
|
| @@ -27,23 +27,3 @@ patch class ReceivePort {
|
| return new ReceivePortImpl();
|
| }
|
| }
|
| -
|
| -patch class Timer {
|
| - patch factory Timer(int milliseconds, void callback(Timer timer)) {
|
| - if (!hasTimer()) {
|
| - throw new UnsupportedError("Timer interface not supported.");
|
| - }
|
| - return new TimerImpl(milliseconds, callback);
|
| - }
|
| -
|
| - /**
|
| - * Creates a new repeating timer. The [callback] is invoked every
|
| - * [milliseconds] millisecond until cancelled.
|
| - */
|
| - patch factory Timer.repeating(int milliseconds, void callback(Timer timer)) {
|
| - if (!hasTimer()) {
|
| - throw new UnsupportedError("Timer interface not supported.");
|
| - }
|
| - return new TimerImpl.repeating(milliseconds, callback);
|
| - }
|
| -}
|
|
|