Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
  • tpa-rfc-80-merge-tor-and-tails-support-policies
  • puppet-merge-costs
  • rfc-77-improv
  • tails-merge-admin-mailing-lists
  • mkdocs
  • new-blog-doc
7 results
Blame Permalink
  • anarcat's avatar
    0a71e7cb
    use a name= instead of id= · 0a71e7cb
    anarcat authored 
    back in 9d9aed39 (use <a id=""> instead of name, as name is not HTML5,
2023-06-01) we switched everything to id= but overlooked that id=
actually gets redacted by GitLab's sanitizer. With this, we should be
able to get the anchors through the filter even if it generates
non-conformant HTML5.
    Verified
    0a71e7cb
    History
    use a name= instead of id=
    anarcat authored 
    back in 9d9aed39 (use <a id=""> instead of name, as name is not HTML5,
2023-06-01) we switched everything to id= but overlooked that id=
actually gets redacted by GitLab's sanitizer. With this, we should be
able to get the anchors through the filter even if it generates
non-conformant HTML5.