Searched hist:b099bbf8a074a76d981161dc2d4c92b4653a0f1c (Results 1 – 1 of 1) sorted by relevance
| /plugin/ebnf/ ! |
| H A D | ebnf.php | b099bbf8a074a76d981161dc2d4c92b4653a0f1c Fri Jan 22 15:27:30 UTC 2021 Ralf Müller <ralf@bj-ig.de> allow to enter special characters as html entities
Currently it is not possible to create terminals like "<" or ">".
This patch allows to insert these using html syntax: "<", ">".
Example:
<ebnf>
"EBNF Special Character Test" {
literal = "'" character { character } "'"
| '"' character { character } '"'
| '<' character { character } '>' .
}
</ebnf>
|