[html5] r4747 - [e] (0) Explain why .defaultCharset might return an unexpected value. Fixing htt [...]

[whatwg at whatwg.org]

Author: ianh
Date: 2010-02-16 00:22:23 -0800 (Tue, 16 Feb 2010)
New Revision: 4747

Modified:
   complete.html
   index
   source
Log:
[e] (0) Explain why .defaultCharset might return an unexpected value.
Fixing http://www.w3.org/Bugs/Public/show_bug.cgi?id=8922

Modified: complete.html
===================================================================
--- complete.html	2010-02-16 08:17:22 UTC (rev 4746)
+++ complete.html	2010-02-16 08:22:23 UTC (rev 4747)
@@ -7133,7 +7133,10 @@
 
    <dt><var title="">document</var> . <code title=dom-document-defaultCharset><a href=#dom-document-defaultcharset>defaultCharset</a></code></dt>
    <dd>
-    <p>Returns what might be the user agent's default character encoding.</p>
+    <p>Returns what might be the user agent's default character
+    encoding. (The user agent might return another character encoding
+    altogether, e.g. to protect the user's privacy, or if the user
+    agent doesn't use a single default encoding.)</p>
    </dd>
 
   </dl><div class=impl>

Modified: index
===================================================================
--- index	2010-02-16 08:17:22 UTC (rev 4746)
+++ index	2010-02-16 08:22:23 UTC (rev 4747)
@@ -7032,7 +7032,10 @@
 
    <dt><var title="">document</var> . <code title=dom-document-defaultCharset><a href=#dom-document-defaultcharset>defaultCharset</a></code></dt>
    <dd>
-    <p>Returns what might be the user agent's default character encoding.</p>
+    <p>Returns what might be the user agent's default character
+    encoding. (The user agent might return another character encoding
+    altogether, e.g. to protect the user's privacy, or if the user
+    agent doesn't use a single default encoding.)</p>
    </dd>
 
   </dl><div class=impl>

Modified: source
===================================================================
--- source	2010-02-16 08:17:22 UTC (rev 4746)
+++ source	2010-02-16 08:22:23 UTC (rev 4747)
@@ -6939,7 +6939,10 @@
 
    <dt><var title="">document</var> . <code title="dom-document-defaultCharset">defaultCharset</code></dt>
    <dd>
-    <p>Returns what might be the user agent's default character encoding.</p>
+    <p>Returns what might be the user agent's default character
+    encoding. (The user agent might return another character encoding
+    altogether, e.g. to protect the user's privacy, or if the user
+    agent doesn't use a single default encoding.)</p>
    </dd>
 
   </dl>