Added Web SQL to the docs.json generation.

tools/dom/docs/lib/docs.dart

 /**
  * A library for extracting the documentation from the various HTML libraries
  * ([dart:html], [dart:svg], [dart:web_audio], [dart:indexed_db]) and saving
  * those documentation comments to a JSON file.
  */
 
 library docs;
 
 import '../../../../sdk/lib/_internal/compiler/implementation/mirrors/mirrors.dart';
 import '../../../../sdk/lib/_internal/dartdoc/lib/src/json_serializer.dart';
 import '../../../../sdk/lib/_internal/dartdoc/lib/dartdoc.dart';
 import '../../../../utils/apidoc/lib/metadata.dart';
 import 'dart:async';
 import 'dart:io';
 
 /// The various HTML libraries.
 const List<String> HTML_LIBRARY_NAMES = const ['dart:html',
+                                               'dart:indexed_db',
                                                'dart:svg',
                                                'dart:web_audio',
-                                               'dart:indexed_db'];
+                                               'dart:web_sql'];
 /**
  * Converts the libraries in [HTML_LIBRARY_NAMES] to a json file at [jsonPath]
  * given the library path at [libPath].
  *
  * The json output looks like:
  *     {
  *       $library_name: {
  *         $interface_name: {
  *           comment: "$comment"
  *           members: {
@@ skipping 147 matching lines @@
     var tags = deprecatedFutureValue(domNameMetadata.getField('name'));
     for (var s in tags.reflectee.split(',')) {
       domNames.add(s.trim());
     }
 
     if (domNames.length == 1 && domNames[0] == 'none') return <String>[];
     return domNames;
   } else {
     return <String>[];
   }
-}
+}