diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2020-12-10 15:44:10 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2020-12-10 15:44:10 -0800 |
| commit | 0a502e5ff52b251bbf3da69fd1f9a88d5e0fe92c (patch) | |
| tree | 7c78b78cadf50dd68033ccc08fd1a9c43c2b325d /src/Text/Pandoc/Writers.hs | |
| parent | 248a2a1db5cb567499a9272a2a2f2390c13d9275 (diff) | |
| download | pandoc-0a502e5ff52b251bbf3da69fd1f9a88d5e0fe92c.tar.gz | |
HTML reader: retain attribute prefixes and avoid duplicates.
Previously we stripped attribute prefixes, reading
`xml:lang` as `lang` for example. This resulted in
two duplicate `lang` attributes when `xml:lang` and
`lang` were both used. This commit causes the prefixes
to be retained, and also avoids invald duplicate
attributes.
Closes #6938.
Diffstat (limited to 'src/Text/Pandoc/Writers.hs')
0 files changed, 0 insertions, 0 deletions