[html5] r1539 - /

[whatwg at whatwg.org]

Author: ianh
Date: 2008-05-06 19:21:35 -0700 (Tue, 06 May 2008)
New Revision: 1539

Modified:
   index
   source
Log:
[] (0) Remove <meta name=dns>, since nobody seemed to like it. If you actually like this and want it and will implement it, let me know.

Modified: index
===================================================================
--- index	2008-05-07 01:40:24 UTC (rev 1538)
+++ index	2008-05-07 02:21:35 UTC (rev 1539)
@@ -7840,21 +7840,6 @@
     <p>The value must be a free-form string that identifies the software used
      to generate the document. This value must not be used on hand-authored
      pages.
-
-   <dt><dfn id=dns title=meta-dns>dns</dfn>
-
-   <dd>
-    <p>The value must be an <a href="#ordered">ordered set of unique
-     space-separated tokens</a>, each word of which is a host name. The list
-     allows authors to provide a list of host names that the user is expected
-     to subsequently need. User agents may, according to user preferences and
-     prevailing network conditions, pre-emptively resolve the given DNS names
-     (extracting the names from the value using the <a href="#split"
-     title="split a string on spaces">rules for splitting a string on
-     spaces</a>), thus precaching the DNS information for those hosts and
-     potentially reducing the time between page loads for subsequent user
-     interactions. Higher priority should be given to host names given
-     earlier in the list.
   </dl>
 
   <h5 id=other><span class=secno>3.7.5.2. </span>Other metadata names</h5>

Modified: source
===================================================================
--- source	2008-05-07 01:40:24 UTC (rev 1538)
+++ source	2008-05-07 02:21:35 UTC (rev 1539)
@@ -6235,21 +6235,6 @@
    software used to generate the document. This value must not be used
    on hand-authored pages.</p></dd>
 
-   <dt><dfn title="meta-dns">dns</dfn></dt>
-
-   <dd><p>The value must be an <span>ordered set of unique
-   space-separated tokens</span>, each word of which is a host
-   name. The list allows authors to provide a list of host names that
-   the user is expected to subsequently need. User agents may,
-   according to user preferences and prevailing network conditions,
-   pre-emptively resolve the given DNS names (extracting the names
-   from the value using the <span title="split a string on
-   spaces">rules for splitting a string on spaces</span>), thus
-   precaching the DNS information for those hosts and potentially
-   reducing the time between page loads for subsequent user
-   interactions. Higher priority should be given to host names given
-   earlier in the list.</p></dd>
-
   </dl>