Hello Jeremy, Sorry for the late reply...many thanks. I'll make due in the meantime....no worries.
Best wishes Julio On Monday, April 28, 2014 4:31:37 AM UTC-4, Jeremy Ruston wrote: > > Hi Stephan > > You're right, I misread the spec. I'll update the restrictions to allow > digits; I still don't think we should be as liberal as HTML attributes. > > Best wishes > > Jeremy > > > > On Mon, Apr 28, 2014 at 7:48 AM, Stephan Hradek > <[email protected]<javascript:> > > wrote: > >> >> >> Am Sonntag, 27. April 2014 15:56:26 UTC+2 schrieb Jeremy Ruston: >> >>> >>> The spec doesn't allow digits in HTML attribute names, but in practice >>> it seems that most browsers are quite happy with them. >>> >> >> Which specs are you referring to? >> >> For HTML5 I found: >> >> Attributes have a name and a value. Attribute names must consist of one >>> or more characters other than the space >>> characters<http://www.w3.org/TR/html5/infrastructure.html#space-character>, >>> U+0000 NULL, U+0022 QUOTATION MARK ("), U+0027 APOSTROPHE ('), ">" >>> (U+003E), "/" (U+002F), and "=" (U+003D) characters, the control >>> characters<http://www.w3.org/TR/html5/infrastructure.html#control-characters>, >>> >>> and any characters that are not defined by Unicode. In the HTML syntax, >>> attribute names, even those for foreign >>> elements<http://www.w3.org/TR/html5/syntax.html#foreign-elements>, >>> may be written with any mix of lower- and uppercase letters that are an >>> ASCII >>> case-insensitive<http://www.w3.org/TR/html5/infrastructure.html#ascii-case-insensitive>match >>> for the attribute's name. >> >> >> http://www.w3.org/TR/html5/syntax.html#attributes-0 >> > > > > -- > Jeremy Ruston > mailto:[email protected] <javascript:> > -- You received this message because you are subscribed to the Google Groups "TiddlyWiki" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/tiddlywiki. For more options, visit https://groups.google.com/d/optout.
