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