[html5] r6940 - [giow] (2) Make HTML serialisation more conservative near <pre>. Fixing https:// [...]

[whatwg at whatwg.org]

Author: ianh
Date: 2012-01-30 16:39:01 -0800 (Mon, 30 Jan 2012)
New Revision: 6940

Modified:
   complete.html
   index
   source
Log:
[giow] (2) Make HTML serialisation more conservative near <pre>.
Fixing https://www.w3.org/Bugs/Public/show_bug.cgi?id=14833
Affected topics: HTML Syntax and Parsing

Modified: complete.html
===================================================================
--- complete.html	2012-01-31 00:32:33 UTC (rev 6939)
+++ complete.html	2012-01-31 00:39:01 UTC (rev 6940)
@@ -88819,8 +88819,11 @@
         thus we should never serialize them -->
 
         <p>If <var title="">current node</var> is a <code><a href=#the-pre-element>pre</a></code>,
-        <code><a href=#the-textarea-element>textarea</a></code>, or <code><a href=#listing>listing</a></code> element, append
-        a U+000A LINE FEED (LF) character.</p>
+        <code><a href=#the-textarea-element>textarea</a></code>, or <code><a href=#listing>listing</a></code> element, and
+        the first child node of the element, if any, is a <a href=#text-node>text
+        node</a> whose character data has as its first character a
+        U+000A LINE FEED (LF) character, then append a U+000A LINE
+        FEED (LF) character.</p>
 
         <p>Append the value of running the <a href=#html-fragment-serialization-algorithm>HTML fragment
         serialization algorithm</a> on the <var title="">current

Modified: index
===================================================================
--- index	2012-01-31 00:32:33 UTC (rev 6939)
+++ index	2012-01-31 00:39:01 UTC (rev 6940)
@@ -88819,8 +88819,11 @@
         thus we should never serialize them -->
 
         <p>If <var title="">current node</var> is a <code><a href=#the-pre-element>pre</a></code>,
-        <code><a href=#the-textarea-element>textarea</a></code>, or <code><a href=#listing>listing</a></code> element, append
-        a U+000A LINE FEED (LF) character.</p>
+        <code><a href=#the-textarea-element>textarea</a></code>, or <code><a href=#listing>listing</a></code> element, and
+        the first child node of the element, if any, is a <a href=#text-node>text
+        node</a> whose character data has as its first character a
+        U+000A LINE FEED (LF) character, then append a U+000A LINE
+        FEED (LF) character.</p>
 
         <p>Append the value of running the <a href=#html-fragment-serialization-algorithm>HTML fragment
         serialization algorithm</a> on the <var title="">current

Modified: source
===================================================================
--- source	2012-01-31 00:32:33 UTC (rev 6939)
+++ source	2012-01-31 00:39:01 UTC (rev 6940)
@@ -102762,8 +102762,11 @@
         thus we should never serialize them -->
 
         <p>If <var title="">current node</var> is a <code>pre</code>,
-        <code>textarea</code>, or <code>listing</code> element, append
-        a U+000A LINE FEED (LF) character.</p>
+        <code>textarea</code>, or <code>listing</code> element, and
+        the first child node of the element, if any, is a <span>text
+        node</span> whose character data has as its first character a
+        U+000A LINE FEED (LF) character, then append a U+000A LINE
+        FEED (LF) character.</p>
 
         <p>Append the value of running the <span>HTML fragment
         serialization algorithm</span> on the <var title="">current