diff --git a/index.html b/index.html
index ed04086a..5329d5b4 100644
--- a/index.html
+++ b/index.html
@@ -2715,6 +2715,15 @@
HTML Element Role Mappings
+
+ `search` |
+ `search` role |
+ Use WAI-ARIA mapping |
+ Use WAI-ARIA mapping |
+ Use WAI-ARIA mapping |
+ Use WAI-ARIA mapping |
+
+
`section` |
@@ -6168,6 +6177,7 @@ Change Log
+ - 24-Mar-2023: Add `search` element and its mappings. See GitHub PR 355.
- 08-Mar-2023: Update `hgroup` element to be mapped to `role=group`. See GitHub PR 398.
- 08-Mar-2023: Clarify naming algorithm for `output` element. See GitHub PR 402.
- 12-Dec-2022: Revise mapping for `s` element to be `role=deletion`. See GitHub PR 442.
|