| Index: lib/_internal/libraries.dart
 | 
| ===================================================================
 | 
| --- lib/_internal/libraries.dart	(revision 11641)
 | 
| +++ lib/_internal/libraries.dart	(working copy)
 | 
| @@ -35,13 +35,6 @@
 | 
|    "crypto": const LibraryInfo(
 | 
|        "crypto/crypto.dart"),
 | 
|  
 | 
| -  // dom/dom_frog.dart is a placeholder for dartium DOM.
 | 
| -  "dom_deprecated": const LibraryInfo(
 | 
| -      "dom/dom_dart2js.dart",
 | 
| -      implementation: true,
 | 
| -      dart2jsPath: "dom/dart2js/dom_dart2js.dart",
 | 
| -      documented: false),
 | 
| -
 | 
|    "html": const LibraryInfo(
 | 
|        "html/html_dartium.dart",
 | 
|        category: "Client",
 | 
| 
 |