| Index: runtime/observatory/lib/src/elements/observatory_element.dart
|
| diff --git a/runtime/observatory/lib/src/elements/observatory_element.dart b/runtime/observatory/lib/src/elements/observatory_element.dart
|
| index c0103a5bedc4a40e64797fb6a166834acf3f5f75..46f1ef555d74d310fe5e7e4aebe47ca221448eee 100644
|
| --- a/runtime/observatory/lib/src/elements/observatory_element.dart
|
| +++ b/runtime/observatory/lib/src/elements/observatory_element.dart
|
| @@ -119,7 +119,8 @@ class ObservatoryElement extends PolymerElement {
|
| }
|
|
|
| String formatTimePrecise(double time) => Utils.formatTimePrecise(time);
|
| -
|
| + String formatTimeMilliseconds(int millis) =>
|
| + Utils.formatTimeMilliseconds(millis);
|
| String formatTime(double time) => Utils.formatTime(time);
|
|
|
| String formatSeconds(double x) => Utils.formatSeconds(x);
|
|
|