| Index: runtime/bin/platform_patch.dart
|
| diff --git a/runtime/bin/platform_patch.dart b/runtime/bin/platform_patch.dart
|
| index 02ba12967f94d89c959b721e11e7b4a9b1028f34..9d21d48dd3c6492a61c0f3b9096c06ed24a4d86f 100644
|
| --- a/runtime/bin/platform_patch.dart
|
| +++ b/runtime/bin/platform_patch.dart
|
| @@ -10,4 +10,5 @@ patch class _Platform {
|
| native "Platform_OperatingSystem";
|
| /* patch */ static _localHostname() native "Platform_LocalHostname";
|
| /* patch */ static _environment() native "Platform_Environment";
|
| + /* patch */ static String _version() native "Platform_GetVersion";
|
| }
|
|
|