- From: poot <cvsmail@w3.org>
- Date: Tue, 24 Aug 2010 08:16:13 +0900 (JST)
- To: public-html-diffs@w3.org
hixie: minor simplification (whatwg r5319)
http://dev.w3.org/cvsweb/html5/spec/Overview.html?r1=1.4238&r2=1.4239&f=h
http://html5.org/tools/web-apps-tracker?from=5318&to=5319
===================================================================
RCS file: /sources/public/html5/spec/Overview.html,v
retrieving revision 1.4238
retrieving revision 1.4239
diff -u -d -r1.4238 -r1.4239
--- Overview.html 23 Aug 2010 22:54:56 -0000 1.4238
+++ Overview.html 23 Aug 2010 23:10:19 -0000 1.4239
@@ -11444,16 +11444,14 @@
the <code title="attr-meta-content"><a href="#attr-meta-content">content</a></code> attribute must
have a value consisting either of:</p>
- <ul><li> just a <a href="#valid-non-negative-integer">valid non-negative integer</a>, or</li>
+ <ul><li>just a <a href="#valid-non-negative-integer">valid non-negative integer</a>, or</li>
- <li> a <a href="#valid-non-negative-integer">valid non-negative integer</a>, followed by a
- U+003B SEMICOLON character (;), followed by one or more <a href="#space-character" title="space character">space characters</a>, followed by
- either a U+0055 LATIN CAPITAL LETTER U character (U) or a U+0075
- LATIN SMALL LETTER U character (u), a U+0052 LATIN CAPITAL LETTER
- R character (R) or a U+0072 LATIN SMALL LETTER R character (r), a
- U+004C LATIN CAPITAL LETTER L character (L) or a U+006C LATIN
- SMALL LETTER L character (l), a U+003D EQUALS SIGN character (=),
- and then a <a href="#valid-url">valid URL</a>.</li>
+ <li>a <a href="#valid-non-negative-integer">valid non-negative integer</a>, followed by a
+ U+003B SEMICOLON character (;), followed by one or more <a href="#space-character" title="space character">space characters</a>, followed by a
+ substring that is an <a href="#ascii-case-insensitive">ASCII case-insensitive</a> match
+ for the string "<code title="">URL</code>", followed by a U+003D
+ EQUALS SIGN character (=), followed by a <a href="#valid-url">valid
+ URL</a>.</li>
</ul><p>In the former case, the integer represents a number of seconds
before the page is to be reloaded; in the latter case the integer
Received on Monday, 23 August 2010 23:11:13 UTC