diff --git a/source b/source index 5db81838c48..2b6290022ac 100644 --- a/source +++ b/source @@ -9547,6 +9547,7 @@ partial interface Document { and with values from id attributes coming before values from name attributes when the same element contributes both:

+