| Index: runtime/lib/timer_patch.dart
|
| diff --git a/runtime/lib/timer_patch.dart b/runtime/lib/timer_patch.dart
|
| index fd3efbd8048e06647edbca83ecbe266e6e9a5b2d..2db2343720a1e6ad6e14c7f6b9ea351075bbd68d 100644
|
| --- a/runtime/lib/timer_patch.dart
|
| +++ b/runtime/lib/timer_patch.dart
|
| @@ -12,8 +12,8 @@ patch class Timer {
|
| return _TimerFactory._factory(milliseconds, (_) { callback(); }, false);
|
| }
|
|
|
| - /* patch */ factory Timer.repeating(Duration duration,
|
| - void callback(Timer timer)) {
|
| + /* patch */ factory Timer.periodic(Duration duration,
|
| + void callback(Timer timer)) {
|
| if (_TimerFactory._factory == null) {
|
| throw new UnsupportedError("Timer interface not supported.");
|
| }
|
|
|