| Index: runtime/bin/file_patch.dart
|
| diff --git a/runtime/bin/file_patch.dart b/runtime/bin/file_patch.dart
|
| index e788a42e988eaa6a62b41e0a70607ab0acf2c347..c9e4fccb01e9df906a65981a24a627cb2d68cdd8 100644
|
| --- a/runtime/bin/file_patch.dart
|
| +++ b/runtime/bin/file_patch.dart
|
| @@ -16,6 +16,8 @@ patch class _File {
|
| /* patch */ static _deleteLink(String path) native "File_DeleteLink";
|
| /* patch */ static _rename(String oldPath, String newPath)
|
| native "File_Rename";
|
| + /* patch */ static _renameLink(String oldPath, String newPath)
|
| + native "File_RenameLink";
|
| /* 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";
|
|
|