Always generate valid DOM identifiers using html_identifier() write original identifier string to rel attribute where possible
Description
Description
Details
Details
- Provenance
thomascube Authored on Feb 9 2011, 10:33 AM mollekopf Pushed on Aug 21 2023, 3:06 PM - Parents
- R3:829cbfe88cb4: - Use html::span instead of HTML code
- Branches
- Unknown
- Tags