Deprecate dart:io Platform, replaced by dart:platform.

sdk/lib/io/platform.dart

Index: sdk/lib/io/platform.dart
diff --git a/sdk/lib/io/platform.dart b/sdk/lib/io/platform.dart
index 30a9a9f40bb00463707878476bbf53d374e87c13..467242a35f707bc888863c3a209edf89bc951293 100644
--- a/sdk/lib/io/platform.dart
+++ b/sdk/lib/io/platform.dart
@@ -4,9 +4,23 @@
 
 part of dart.io;
 
+@deprecated

[floitsch, 2013/10/25 19:04:18]

Put it just before the class.

 /**
- * The [Platform] class exposes details of the machine and operating
+ * Deprecated: the [Platform] class exposes details of the machine and operating
  * system.
+ *
+ * This class has been replaced by adding the dart:platform library to Dart.
+ * dart:platform is available on all browser and standalone platforms,
+ * including Dart code that has been compiled to javascript.
+ *
+ * The dart:platform class has
+ * the same top-level getters as the members of [Platform], except that the
+ * [isWindows], [isLinux], [isAndroid], and [isMacOS] getters
+ * have been removed. On platforms supporting dart:io, the getters of
+ * dart:platform have the same values as the Platform class members, except
+ * that [script] has been changed from a [String] to a file [Uri].
+ *
+ * The [Platform] class may be removed as early as November 1, 2013.

[floitsch, 2013/10/25 19:04:18]

Drop the sentence.

Most users just upgrade when their code fails anyways.

  */
 class Platform {
   static final _numberOfProcessors = _Platform.numberOfProcessors;