First cut of mini dart:html.

tool/input_sdk/lib/_internal/libraries.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.
 
 library libraries;
 
 /**
  * A bit flag used by [LibraryInfo] indicating that a library is used by dart2js
  */
 const int DART2JS_PLATFORM = 1;
@@ skipping 13 matching lines @@
 
   "async": const LibraryInfo(
       "async/async.dart",
       maturity: Maturity.STABLE,
       dart2jsPatchPath: "_internal/compiler/js_lib/async_patch.dart"),
 
   "_blink": const LibraryInfo(
       "_blink/dartium/_blink_dartium.dart",
       category: "Client",
       implementation: true,
-      documented: false,
-      platforms: VM_PLATFORM),
+      documented: false),
 
   "_chrome": const LibraryInfo(
       "_chrome/dart2js/chrome_dart2js.dart",
       documented: false,
       category: "Client"),
 
   "collection": const LibraryInfo(
       "collection/collection.dart",
       maturity: Maturity.STABLE,
       dart2jsPatchPath: "_internal/compiler/js_lib/collection_patch.dart"),
 
   "convert": const LibraryInfo(
       "convert/convert.dart",
       maturity: Maturity.STABLE,
       dart2jsPatchPath: "_internal/compiler/js_lib/convert_patch.dart"),
 
   "core": const LibraryInfo(
       "core/core.dart",
       maturity: Maturity.STABLE,
       dart2jsPatchPath: "_internal/compiler/js_lib/core_patch.dart"),
 
   "html": const LibraryInfo(
-      "html/dartium/html_dartium.dart",
+      "html/ddc/html_ddc.dart",

[Jennifer Messerly, 2015/12/15 19:17:12]

dev_compiler?

it's slightly longer, but that way it's not a TLA :) ... and the "Dart" bit is
redundant.

[vsm, 2015/12/15 21:05:27]

I'll fix this in a followup.  Need to patch up my gen scripts.

+      category: "Client",
+      maturity: Maturity.WEB_STABLE),
+
+  "html_common": const LibraryInfo(
+      "html/html_common/html_common_ddc.dart",
       category: "Client",
       maturity: Maturity.WEB_STABLE,
-      dart2jsPath: "html/dart2js/html_dart2js.dart"),
-
-  "html_common": const LibraryInfo(
-      "html/html_common/html_common.dart",
-      category: "Client",
-      maturity: Maturity.WEB_STABLE,
-      dart2jsPath: "html/html_common/html_common_dart2js.dart",
       documented: false,
       implementation: true),
 
   "indexed_db": const LibraryInfo(
-      "indexed_db/dartium/indexed_db_dartium.dart",
+      "indexed_db/ddc/indexed_db_ddc.dart",
       category: "Client",
-      maturity: Maturity.WEB_STABLE,
-      dart2jsPath: "indexed_db/dart2js/indexed_db_dart2js.dart"),
+      maturity: Maturity.WEB_STABLE),
 
   "io": const LibraryInfo(
       "io/io.dart",
       category: "Server",
       maturity: Maturity.STABLE,
       dart2jsPatchPath: "_internal/compiler/js_lib/io_patch.dart"),
 
   "isolate": const LibraryInfo(
       "isolate/isolate.dart",
       maturity: Maturity.STABLE,
@@ skipping 32 matching lines @@
       dart2jsPatchPath: "_internal/compiler/js_lib/typed_data_patch.dart"),
 
   "_native_typed_data": const LibraryInfo(
       "_internal/compiler/js_lib/native_typed_data.dart",
       category: "Internal",
       implementation: true,
       documented: false,
       platforms: DART2JS_PLATFORM),
 
   "svg": const LibraryInfo(
-      "svg/dartium/svg_dartium.dart",
+      "svg/ddc/svg_ddc.dart",
       category: "Client",
-      maturity: Maturity.WEB_STABLE,
-      dart2jsPath: "svg/dart2js/svg_dart2js.dart"),
+      maturity: Maturity.WEB_STABLE),
 
   "web_audio": const LibraryInfo(
-      "web_audio/dartium/web_audio_dartium.dart",
+      "web_audio/ddc/web_audio_ddc.dart",
       category: "Client",
-      maturity: Maturity.WEB_STABLE,
-      dart2jsPath: "web_audio/dart2js/web_audio_dart2js.dart"),
+      maturity: Maturity.WEB_STABLE),
 
   "web_gl": const LibraryInfo(
-      "web_gl/dartium/web_gl_dartium.dart",
+      "web_gl/ddc/web_gl_ddc.dart",
       category: "Client",
-      maturity: Maturity.WEB_STABLE,
-      dart2jsPath: "web_gl/dart2js/web_gl_dart2js.dart"),
+      maturity: Maturity.WEB_STABLE),
 
   "web_sql": const LibraryInfo(
-      "web_sql/dartium/web_sql_dartium.dart",
+      "web_sql/ddc/web_sql_ddc.dart",
       category: "Client",
-      maturity: Maturity.WEB_STABLE,
-      dart2jsPath: "web_sql/dart2js/web_sql_dart2js.dart"),
+      maturity: Maturity.WEB_STABLE),
 
   "_internal": const LibraryInfo(
       "internal/internal.dart",
       category: "Internal",
       documented: false,
       dart2jsPatchPath:
           "_internal/compiler/js_lib/internal_patch.dart"),
 
   "_js_helper": const LibraryInfo(
       "_internal/compiler/js_lib/js_helper.dart",
@@ skipping 166 matching lines @@
   static const Maturity STABLE = const Maturity(4, "Stable",
     "The library is stable. API backwards-compatibility is guaranteed.\n"
     "However implementation details might change.");
 
   static const Maturity LOCKED = const Maturity(5, "Locked",
     "This library will not change except when serious bugs are encountered.");
 
   static const Maturity UNSPECIFIED = const Maturity(-1, "Unspecified",
     "The maturity for this library has not been specified.");
 }