2023-06-16 11:39:32 +10:00

5 lines
156 B
Python

"""HTML5 entities map: { name -> characters }."""
import html.entities
entities = {name.rstrip(";"): chars for name, chars in html.entities.html5.items()}