remove html page from sidenav, replace with js_interop. add prev/next to js interop pages

Author: MaryaBelanger

src/_data/side-nav.yml

@@ -118,8 +118,9 @@
       permalink: /libraries/dart-convert
     - title: dart:io
       permalink: /libraries/dart-io
-    - title: dart:html
-      permalink: /libraries/dart-html
+    - title: dart:js_interop
+      permalink: /interop/js-interop
+      match-page-url-exactly: true
     - divider
     - title: Iterable collections
       permalink: /libraries/collections/iterables

src/content/interop/js-interop/index.md

@@ -2,6 +2,9 @@
 title: JavaScript interoperability
 short-title: JS interop
 description: Integrate JavaScript code into your Dart web app.
+nextpage:
+  url: /interop/js-interop/usage
+  title: Usage
 ---
 
 The [Dart web platform](/overview#web-platform) supports communication with

src/content/interop/js-interop/js-types.md

@@ -1,6 +1,12 @@
 ---
 title: JS types
 description: Usage information about the core types in JS interop.
+prevpage:
+  url: /interop/js-interop/usage
+  title: Usage
+nextpage:
+  url: /interop/js-interop/tutorials
+  title: JS interop tutorials
 ---
 
 Dart values and JS values belong to separate language domains. When compiling to

src/content/interop/js-interop/package-web.md

@@ -1,6 +1,9 @@
 ---
 title: Migrate to package:web
 description: How to migrate web interop code from dart:html to package:web.
+prevpage:
+  url: /interop/js-interop/past-js-interop
+  title: Past JS interop
 ---
 
 Dart's [`package:web`][] exposes access to browser APIs,

src/content/interop/js-interop/past-js-interop.md

@@ -1,6 +1,12 @@
 ---
 title: Past JS interop
 description: Archive of Dart's previous JS interop support.
+prevpage:
+  url: /interop/js-interop/tutorials
+  title: JS interop tutorials
+nextpage:
+  url: /interop/js-interop/package-web/
+  title: Migrate to package:web
 ---
 
 :::warning

src/content/interop/js-interop/tutorials.md

@@ -1,6 +1,12 @@
 ---
 title: JS interop tutorials
 description: Tutorials for common JavaScript interop use cases in Dart.
+prevpage:
+  url: /interop/js-interop/js-types
+  title: JS types
+nextpage:
+  url: /interop/js-interop/past-js-interop
+  title: Past JS interop
 ---
 
 ## Tutorials

src/content/interop/js-interop/usage.md

@@ -1,6 +1,12 @@
 ---
 title: Usage
 description: How to declare and use JS interop members.
+prevpage:
+  url: /interop/js-interop/
+  title: JS interop
+nextpage:
+  url: /interop/js-interop/js-types
+  title: JS types
 ---
 
 JS interop provides the mechanisms to interact with JavaScript APIs from Dart.

src/content/libraries/dart-html.md

@@ -7,10 +7,8 @@ prevpage:
 ---
 
 :::warning
-`dart:html` is being replaced with [`package:web`][].
-Package maintainers should migrate to `package:web` as
-soon as possible to be compatible with Wasm.
-Read the [Migrate to package:web][] page for guidance.
+The `dart:html` library is deprecated.
+Instead, use [`dart:js_interop`][] or [`package:web`][].
 :::
 
 Use the [dart:html][] library to program the browser, manipulate objects and
@@ -449,6 +447,7 @@ Dart has additional libraries for more specialized web APIs, such as
 For more information about Dart web libraries, see the
 [web library overview.][web library overview]
 
+[`dart:js_interop`]: /interop/js-interop
 [AnchorElement]: {{site.dart-api}}/dart-html/AnchorElement-class.html
 [dart:html]: {{site.dart-api}}/dart-html/dart-html-library.html
 [Fetch data from the internet]: /tutorials/server/fetch-data

src/content/libraries/dart-io.md

@@ -5,8 +5,8 @@ prevpage:
   url: /libraries/dart-convert
   title: dart:convert
 nextpage:
-  url: /libraries/dart-html
-  title: dart:html
+  url: /interop/js-interop/
+  title: dart:js_interop
 ---
 
 <?code-excerpt plaster="none"?>

src/content/libraries/index.md

@@ -46,9 +46,9 @@ consult the [Dart API reference.][Dart API]
 : I/O for programs that can use the Dart VM,
   including Flutter apps, servers, and command-line scripts.
 
-[dart:html](/libraries/dart-html)
+[dart:js_interop](/interop/js-interop)
 : DOM and other APIs for browser-based apps.
-  We now recommend using `package:web` over `dart:html`.
+  `dart:js_interop` replaces `dart:html`.
 
 
 As mentioned, these pages are just an overview;