Revert "Change dart:io Platform.script to return a Uri."

tools/dom/docs/bin/docs.dart

 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 /**
  * This program reads the HTML libraries from [LIB_PATH] and outputs their
  * documentation to [JSON_PATH].
  */
 
 import 'dart:io';
 import 'dart:async';
 
 import 'package:path/path.dart' as path;
 
 import '../lib/docs.dart';
 
-final String json_path = Platform.script.resolve('../docs.json').toFilePath();
-final String lib_uri = Platform.script.resolve('../../../../sdk').toString();
+final String json_path =
+    path.normalize(path.join(scriptDir, '..', 'docs.json'));
+final String lib_path =
+    path.toUri(path.normalize(
+      path.join(scriptDir, '..', '..', '..', '..', 'sdk'))).toString();
 
 main() {
-  print('Converting HTML docs from $lib_uri to $json_path.');
+  print('Converting HTML docs from $lib_path to $json_path.');
 
-  convert(lib_uri, json_path)
+  convert(lib_path, 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);