| Index: sdk/lib/io/platform.dart
|
| diff --git a/sdk/lib/io/platform.dart b/sdk/lib/io/platform.dart
|
| index 6ec48e36138c3d9ccec1050e8455617c3af7f0a4..01be4ca910285bb9aa82633c87109744d36fa40d 100644
|
| --- a/sdk/lib/io/platform.dart
|
| +++ b/sdk/lib/io/platform.dart
|
| @@ -69,6 +69,7 @@ class Platform {
|
| static final _numberOfProcessors = _Platform.numberOfProcessors;
|
| static final _pathSeparator = _Platform.pathSeparator;
|
| static final _operatingSystem = _Platform.operatingSystem;
|
| + static final _operatingSystemVersion = _Platform.operatingSystemVersion;
|
| static final _localHostname = _Platform.localHostname;
|
| static final _version = _Platform.version;
|
| static final _localeName = _Platform.localeName;
|
| @@ -94,6 +95,11 @@ class Platform {
|
| */
|
| static String get operatingSystem => _operatingSystem;
|
|
|
| + /**
|
| + * A string representing the version of the operating system or platform.
|
| + */
|
| + static String get operatingSystemVersion => _operatingSystemVersion;
|
| +
|
| /**
|
| * The local hostname for the system.
|
| */
|
|
|