Move dart:dom to dart:dom_deprecated

frog/world.dart

Index: frog/world.dart
diff --git a/frog/world.dart b/frog/world.dart
index d4550fb7ecf6dcb8a8b64f7df78e7a54ef6be5ea..ebde04beaa81a65e048a679f46fd113b584687a2 100644
--- a/frog/world.dart
+++ b/frog/world.dart
@@ -301,10 +301,11 @@ class World {
         final msg = 'conflicting JS name "$name" of same '
             + 'priority $existingPri: (already defined in) '
             + '${existing.span.locationText} with priority $namedPri)';
-        // We trust that conflicting native names in builtin libraries are
-        // harmless. Most cases there are no conflicts, currently isolates
-        // in coreimpl and dart:dom both define web workers to avoid adding a
-        // dependency from corelib to dart:dom.
+        // We trust that conflicting native names in builtin libraries
+        // are harmless. Most cases there are no conflicts, currently
+        // isolates in coreimpl and dart:dom_deprecated both define
+        // web workers to avoid adding a dependency from corelib to
+        // dart:dom_deprecated.
         world.info(msg, named.span, existing.span);
       } else {
         // Conflicting js name in same library. This happens because
@@ -471,7 +472,7 @@ class World {
       libraries[filename] = library;
       _todo.add(library);
 
-      if (filename == 'dart:dom') {
+      if (filename == 'dart:dom_deprecated') {
         dom = library;
       } else if (filename == 'dart:html') {
         html = library;