| Index: pkg/analysis_server/doc/api.html
|
| diff --git a/pkg/analysis_server/doc/api.html b/pkg/analysis_server/doc/api.html
|
| index d5a60b718e1caa9ae295f7ffc212ee3630fa51e5..e59e1f1537ad19d1168d60ad89e487148e953179 100644
|
| --- a/pkg/analysis_server/doc/api.html
|
| +++ b/pkg/analysis_server/doc/api.html
|
| @@ -2821,6 +2821,13 @@ dt.typeDefinition {
|
| <p>
|
| The file containing the code to be modified.
|
| </p>
|
| + </dd><dt class="field"><b><i>time ( int )</i></b></dt><dd>
|
| +
|
| + <p>
|
| + The time in milliseconds since the "Unix epoch" when this change
|
| + was created. The client may use it to make sure that the file was
|
| + not changed since then, so it is safe to apply the change.
|
| + </p>
|
| </dd><dt class="field"><b><i>edits ( List<<a href="#type_SourceEdit">SourceEdit</a>> )</i></b></dt><dd>
|
|
|
| <p>
|
|
|