Support for Unicode XML/HTML identifiers

Technically HTML only allows for ASCII names but restricting that
actually requires more work than just allowing it.
This commit is contained in:
Yorick Peterse committed 2015-06-29 21:08:01 +02:00
1 parent 139985612b
commit dde644cd79
2 files changed
+33 -4

No files matched your search

+3 -1
View File
@@ -48,7 +48,9 @@
newline = '\r\n' | '\n' | '\r';
whitespace = [ \t];
ident_char = [a-zA-Z0-9\-_\.];
unicode = any - ascii;
ident_char = unicode | [a-zA-Z0-9\-_\.];
identifier = ident_char+;
whitespace_or_newline = whitespace | newline;