diff --git a/frontend/util.lua b/frontend/util.lua index 20f6defdb..0dbe0e2e7 100644 --- a/frontend/util.lua +++ b/frontend/util.lua @@ -1120,6 +1120,11 @@ local HTML_ENTITIES_TO_UTF8 = { {"<", "<"}, {">", ">"}, {""", '"'}, + {"‘", '‘'}, + {"’", '’'}, + {"“", '“'}, + {"”", '”'}, + {"—", '—'}, {"'", "'"}, {" ", "\u{00A0}"}, {"&#(%d+);", function(x) return util.unicodeCodepointToUtf8(tonumber(x)) end},