GitHub

Original file line numberDiff line numberDiff line change

@@ -78713,9 +78713,8 @@ <h5 id=the-before-head-insertion-mode><span class=secno>12.2.5.6 </span>The "<df

7871378713

that attribute, and the second stream of characters must be

7871478714

empty. Otherwise, the two streams of character tokens together

7871578715

should, together with the <code><a href=#the-input-element>input</a></code> element, express the

78716-

equivalent of "This is a searchable index. Insert your search

78717-

keywords here: (input field)" in the user's preferred

78718-

language.</p>

78716+

equivalent of "This is a searchable index. Enter search keywords:

78717+

(input field)" in the user's preferred language.</p>

7871978718
7872078719

</dd>

7872178720
Original file line numberDiff line numberDiff line change

@@ -71985,9 +71985,8 @@ document.body.appendChild(text);

7198571985

that attribute, and the second stream of characters must be

7198671986

empty. Otherwise, the two streams of character tokens together

7198771987

should, together with the <code><a href=#the-input-element>input</a></code> element, express the

71988-

equivalent of "This is a searchable index. Insert your search

71989-

keywords here: (input field)" in the user's preferred

71990-

language.</p>

71988+

equivalent of "This is a searchable index. Enter search keywords:

71989+

(input field)" in the user's preferred language.</p>

7199171990
7199271991

</dd>

7199371992
Original file line numberDiff line numberDiff line change

@@ -89691,9 +89691,8 @@ document.body.appendChild(text);

8969189691

that attribute, and the second stream of characters must be

8969289692

empty. Otherwise, the two streams of character tokens together

8969389693

should, together with the <code>input</code> element, express the

89694-

equivalent of "This is a searchable index. Insert your search

89695-

keywords here: (input field)" in the user's preferred

89696-

language.</p>

89694+

equivalent of "This is a searchable index. Enter search keywords:

89695+

(input field)" in the user's preferred language.</p>

8969789696
8969889697

</dd>

8969989698

Read the original on github.com ↗