Add back unseparated out version of method overloads in dart:html.

tools/dom/docs/lib/docs.dart

 // Copyright (c) 2013, 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.
 
 /**
  * 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/dartdoc/lib/src/dart2js_mirrors.dart';
 import '../../../../sdk/lib/_internal/compiler/implementation/mirrors/mirrors.dart';
 import '../../../../sdk/lib/_internal/compiler/implementation/mirrors/mirrors_util.dart';
 import '../../../../sdk/lib/_internal/dartdoc/lib/dartdoc.dart';
 import '../../../../sdk/lib/_internal/dartdoc/lib/src/json_serializer.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:web_gl',

[Emily Fortuna, 2013/10/24 00:02:20]

Dan, Juniper: Is there a reason web_gl wasn't included previously in the
documentation list here? 

[Andrei Mouravski, 2013/10/24 22:24:37]

A cane toad jumped on my keyboard and deleted just that one line.
No, there wasn't any reason that I can think of.

                                                'dart:web_sql'];
 /**
  * Converts the libraries in [HTML_LIBRARY_NAMES] to a json file at [jsonPath]
  * given the library path at [libUri].
  *
  * The json output looks like:
  *     {
  *       $library_name: {
  *         $interface_name: {
  *           comment: "$comment"
@@ skipping 148 matching lines @@
     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>[];
   }
 }