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