[html5] r1733 - /

[whatwg at whatwg.org]

Author: ianh
Date: 2008-06-08 12:40:52 -0700 (Sun, 08 Jun 2008)
New Revision: 1733

Modified:
   index
   source
Log:
[e] (0) missing 'include' (credit: de)

Modified: index
===================================================================
--- index	2008-06-08 00:41:17 UTC (rev 1732)
+++ index	2008-06-08 19:40:52 UTC (rev 1733)
@@ -35769,10 +35769,10 @@
    <dt>Otherwise, the origins are different and the document containing the
     hyperlink being audited was retrieved over an encrypted connection
 
-   <dd>The request must a <code title="">Ping-To</code> HTTP header with, as
-    its value, the address of the target of the hyperlink. The request must
-    neither include a <code title="">Referer</code> HTTP header nor include a
-    <code title="">Ping-From</code> HTTP header.
+   <dd>The request must include a <code title="">Ping-To</code> HTTP header
+    with, as its value, the address of the target of the hyperlink. The
+    request must neither include a <code title="">Referer</code> HTTP header
+    nor include a <code title="">Ping-From</code> HTTP header.
   </dl>
 
   <p class=note>To save bandwidth, implementors might also wish to consider

Modified: source
===================================================================
--- source	2008-06-08 00:41:17 UTC (rev 1732)
+++ source	2008-06-08 19:40:52 UTC (rev 1733)
@@ -33599,11 +33599,11 @@
    containing the hyperlink being audited was retrieved over an
    encrypted connection</dt>
 
-   <dd>The request must a <code title="">Ping-To</code> HTTP header
-   with, as its value, the address of the target of the hyperlink. The
-   request must neither include a <code title="">Referer</code> HTTP
-   header nor include a <code title="">Ping-From</code> HTTP
-   header.</dd>
+   <dd>The request must include a <code title="">Ping-To</code> HTTP
+   header with, as its value, the address of the target of the
+   hyperlink. The request must neither include a <code
+   title="">Referer</code> HTTP header nor include a <code
+   title="">Ping-From</code> HTTP header.</dd>
 
   </dl>