- From: Ian Hickson via cvs-syncmail <cvsmail@w3.org>
- Date: Wed, 01 Apr 2009 01:21:46 +0000
- To: public-html-commits@w3.org
Update of /sources/public/html5/spec
In directory hutz:/tmp/cvs-serv10918
Modified Files:
Overview.html
Log Message:
Support quotes around URLs in the Refresh pragma's value. (credit: sp) (bug 6464) (whatwg r2949)
Index: Overview.html
===================================================================
RCS file: /sources/public/html5/spec/Overview.html,v
retrieving revision 1.2111
retrieving revision 1.2112
diff -u -d -r1.2111 -r1.2112
--- Overview.html 1 Apr 2009 01:18:42 -0000 1.2111
+++ Overview.html 1 Apr 2009 01:21:44 -0000 1.2112
@@ -9347,9 +9347,19 @@
<li><p><a href=#skip-whitespace>Skip whitespace</a>.</li>
+ <li><p>If the character in <var title="">input</var> pointed to
+ by <var title="">position</var> is either a U+0027 APOSTROPHE
+ character (') U+0022 QUOTATION MARK character ("), then let <var title="">quote</var> be that character, and advance <var title="">position</var> to the next character. Otherwise, let
+ <var title="">quote</var> be the empty stirng.</li>
+
<li><p>Let <var title="">url</var> be equal to the substring of
<var title="">input</var> from the character at <var title="">position</var> to the end of the string.</li>
+ <li><p>If <var title="">quote</var> is not the empty string, and
+ there is a character in <var title="">url</var> equal to <var title="">quote</var>, then truncate <var title="">url</var> at
+ that character, so that it and all subsequent characters are
+ removed.</p>
+
<li><p>Strip any trailing <a href=#space-character title="space character">space
characters</a> from the end of <var title="">url</var>.</li>
Received on Wednesday, 1 April 2009 01:21:58 UTC