[html5] r4489 - [e] (0) remove redundant requirement Fixing http://www.w3.org/Bugs/Public/show_b [...]

[whatwg at whatwg.org]

Author: ianh
Date: 2010-01-05 03:50:25 -0800 (Tue, 05 Jan 2010)
New Revision: 4489

Modified:
   complete.html
   index
   source
Log:
[e] (0) remove redundant requirement
Fixing http://www.w3.org/Bugs/Public/show_bug.cgi?id=8392

Modified: complete.html
===================================================================
--- complete.html	2010-01-05 11:44:52 UTC (rev 4488)
+++ complete.html	2010-01-05 11:50:25 UTC (rev 4489)
@@ -4542,7 +4542,7 @@
    <li><p>Let <var title="">position</var> be a pointer into <var title="">input</var>, initially pointing at the start of the
    string.</li>
 
-   <li><p>If <var title="">position</var> is beyond the end of <var title="">input</var>, set the string being modified to <var title="">output</var>, and abort these steps.</li>
+   <li><p>If <var title="">position</var> is beyond the end of <var title="">input</var>, abort these steps.</li>
 
    <li><p>If the character at <var title="">position</var> is a
    <a href=#space-character>space character</a>:</p>

Modified: index
===================================================================
--- index	2010-01-05 11:44:52 UTC (rev 4488)
+++ index	2010-01-05 11:50:25 UTC (rev 4489)
@@ -4377,7 +4377,7 @@
    <li><p>Let <var title="">position</var> be a pointer into <var title="">input</var>, initially pointing at the start of the
    string.</li>
 
-   <li><p>If <var title="">position</var> is beyond the end of <var title="">input</var>, set the string being modified to <var title="">output</var>, and abort these steps.</li>
+   <li><p>If <var title="">position</var> is beyond the end of <var title="">input</var>, abort these steps.</li>
 
    <li><p>If the character at <var title="">position</var> is a
    <a href=#space-character>space character</a>:</p>

Modified: source
===================================================================
--- source	2010-01-05 11:44:52 UTC (rev 4488)
+++ source	2010-01-05 11:50:25 UTC (rev 4489)
@@ -3920,8 +3920,7 @@
    string.</p></li>
 
    <li><p>If <var title="">position</var> is beyond the end of <var
-   title="">input</var>, set the string being modified to <var
-   title="">output</var>, and abort these steps.</p></li>
+   title="">input</var>, abort these steps.</p></li>
 
    <li><p>If the character at <var title="">position</var> is a
    <span>space character</span>:</p>