diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2022-05-12 12:11:28 -0400 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2022-05-12 12:11:28 -0400 |
| commit | 56da250d69615d70774dbc361fa2693cca1e3df4 (patch) | |
| tree | dbdeb2be018c5f10c13f721965b3bebff2283e88 /grammars/html.bp | |
| parent | e484a888151460ffc25a8478d9a9c9836652a35c (diff) | |
Split backref/named captures into separate concepts for performance
reasons.
Diffstat (limited to 'grammars/html.bp')
| -rw-r--r-- | grammars/html.bp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/grammars/html.bp b/grammars/html.bp index 1ed83df..1000670 100644 --- a/grammars/html.bp +++ b/grammars/html.bp @@ -14,9 +14,9 @@ void-element: `< ("area"/"base"/"br"/"col"/"embed"/"hr"/"img"/"input"/"link"/"me template-element: "<template>" ..%(\n / comment / element) "</template>" -raw-element: `< @tag=("script"/"style"/"textarea"/"title") __attributes__ `> ..%\n ("</"tag__`>) +raw-element: `< @tag:("script"/"style"/"textarea"/"title") __attributes__ `> ..%\n ("</"tag__`>) -normal-element: `< @tag=id __attributes__ `> ..%(\n / comment / element) ("</"tag__`>) +normal-element: `< @tag:id __attributes__ `> ..%(\n / comment / element) ("</"tag__`>) comment: "<!--" ..%\n "-->" |