Rename File.readAsText to File.readAsString. There is no Text type in Dart

utils/apidoc/mdn/util.dart

 library util;
 
 import 'dart:io';
 import 'dart:json';
 
 Map<String, Map> _allProps;
 
 Map<String, Map> get allProps {
   if (_allProps == null) {
     // Database of expected property names for each type in WebKit.
     _allProps = JSON.parse(
-        new File('data/dartIdl.json').readAsTextSync());
+        new File('data/dartIdl.json').readAsStringSync());
   }
   return _allProps;
 }
 
 Set<String> matchedTypes;
 
 /** Returns whether the type has any member matching the specified name. */
 bool hasAny(String type, String prop) {
   final data = allProps[type];
   return data['properties'].containsKey(prop) ||
@@ skipping 64 matching lines @@
 
 /**
  * Helper for sync creation of a whole file from a string.
  */
 void writeFileSync(String filename, String data) {
   File f = new File(filename);
   RandomAccessFile raf = f.openSync(FileMode.WRITE);
   raf.writeStringSync(data);
   raf.closeSync();
 }