| Index: runtime/bin/file_patch.dart
|
| diff --git a/runtime/bin/file_patch.dart b/runtime/bin/file_patch.dart
|
| index 218c729a0cb69c76f2437ebaf9f28c61817c6f31..e788a42e988eaa6a62b41e0a70607ab0acf2c347 100644
|
| --- a/runtime/bin/file_patch.dart
|
| +++ b/runtime/bin/file_patch.dart
|
| @@ -14,6 +14,8 @@ patch class _File {
|
| /* patch */ static _linkTarget(String path) native "File_LinkTarget";
|
| /* patch */ static _delete(String path) native "File_Delete";
|
| /* patch */ static _deleteLink(String path) native "File_DeleteLink";
|
| + /* patch */ static _rename(String oldPath, String newPath)
|
| + native "File_Rename";
|
| /* patch */ static _lengthFromPath(String path) native "File_LengthFromPath";
|
| /* patch */ static _lastModified(String path) native "File_LastModified";
|
| /* patch */ static _open(String path, int mode) native "File_Open";
|
|
|