hixie: Make <style type='text/css;charset=xxx'> ignored. (whatwg r4520)

hixie: Make <style type='text/css;charset=xxx'> ignored. (whatwg r4520)

http://dev.w3.org/cvsweb/html5/spec/Overview.html?r1=1.3616&r2=1.3617&f=h
http://html5.org/tools/web-apps-tracker?from=4519&to=4520

===================================================================
RCS file: /sources/public/html5/spec/Overview.html,v
retrieving revision 1.3616
retrieving revision 1.3617
diff -u -d -r1.3616 -r1.3617
--- Overview.html 6 Jan 2010 10:48:46 -0000 1.3616
+++ Overview.html 6 Jan 2010 10:52:14 -0000 1.3617
@@ -10442,7 +10442,9 @@
   <!-- this paragraph is also present in the <script> section -->
   <p>When examining types to determine if they support the language,
   user agents must not ignore unknown MIME parameters &mdash; types
-  with unknown parameters must be assumed to be unsupported.</p>
+  with unknown parameters must be assumed to be unsupported. The <code title="">charset</code> parameter must be treated as an unknown
+  parameter for the purpose of comparing <a href="#mime-type" title="MIME type">MIME
+  types</a> here.</p>
 
   </div><p>The <dfn id="attr-style-media" title="attr-style-media"><code>media</code></dfn>
   attribute says which media the styles apply to. The value must be a

Received on Wednesday, 6 January 2010 10:52:54 UTC