| Index: runtime/vm/json_stream.cc
 | 
| diff --git a/runtime/vm/json_stream.cc b/runtime/vm/json_stream.cc
 | 
| index 5b10ab0f6803fca90299bd0a3f50e88e30a88404..9a3054b3d83034286ddc7c3e8019d568132fd31b 100644
 | 
| --- a/runtime/vm/json_stream.cc
 | 
| +++ b/runtime/vm/json_stream.cc
 | 
| @@ -270,6 +270,11 @@ void JSONStream::PrintValue64(int64_t i) {
 | 
|  }
 | 
|  
 | 
|  
 | 
| +void JSONStream::PrintValueTimeMillis(int64_t millis) {
 | 
| +  PrintValue(static_cast<double>(millis));
 | 
| +}
 | 
| +
 | 
| +
 | 
|  void JSONStream::PrintValue(double d) {
 | 
|    PrintCommaIfNeeded();
 | 
|    buffer_.Printf("%f", d);
 | 
| @@ -422,6 +427,11 @@ void JSONStream::PrintProperty64(const char* name, int64_t i) {
 | 
|  }
 | 
|  
 | 
|  
 | 
| +void JSONStream::PrintPropertyTimeMillis(const char* name, int64_t millis) {
 | 
| +  PrintProperty(name, static_cast<double>(millis));
 | 
| +}
 | 
| +
 | 
| +
 | 
|  void JSONStream::PrintProperty(const char* name, double d) {
 | 
|    PrintPropertyName(name);
 | 
|    PrintValue(d);
 | 
| 
 |