Change dart:io Platform.script to return a URI. Change all uses of Platform.script to work with th…

tools/dom/docs/bin/docs.dart

Index: tools/dom/docs/bin/docs.dart
diff --git a/tools/dom/docs/bin/docs.dart b/tools/dom/docs/bin/docs.dart
index cdc7974f0d3d56b40b77d49bba544c7716abd239..7307ab1045a31d8e7fc5979a5adae53745af4bb1 100644
--- a/tools/dom/docs/bin/docs.dart
+++ b/tools/dom/docs/bin/docs.dart
@@ -14,24 +14,15 @@ import 'package:path/path.dart' as path;
 
 import '../lib/docs.dart';
 
-final String json_path =
-    path.normalize(path.join(scriptDir, '..', 'docs.json'));
-final String lib_path =
-    path.toUri(path.normalize(
-      path.join(scriptDir, '..', '..', '..', '..', 'sdk'))).toString();
+final String json_path = Platform.script.resolve('../docs.json').toFilePath();
+final String lib_uri = Platform.script.resolve('../../../../sdk').toString();
 
 main() {
-  print('Converting HTML docs from $lib_path to $json_path.');
+  print('Converting HTML docs from $lib_uri to $json_path.');
 
-  convert(lib_path, json_path)
+  convert(lib_uri, json_path)
     .then((bool anyErrors) {
       print('Converted HTML docs ${anyErrors ? "with": "without"}'
         ' errors.');
     });
 }
-
-/**
- * Gets the full path to the directory containing the entrypoint of the current
- * script.
- */
-String get scriptDir => path.dirname(Platform.script);