gsub ‹

2015-06-10 14:30:39 +02:00 · 2015-06-10 14:30:39 +02:00 · 64bb221da6
commit 64bb221da6
parent 768fa91867
1 changed files with 1 additions and 0 deletions
--- a/plugins/url_title.lua
+++ b/plugins/url_title.lua
@ -8,6 +8,7 @@ function getTitle(page)
  s = string.gsub(s, " *< *", "<")
  s = string.gsub(s, " *> *", ">")
  s = string.gsub(s, "&#124;", "|")
+  s = string.gsub(s, "&#8249;", "‹")

  -- Put all the tags in lowercase.
  s = string.gsub(s, "(<[^ >]+)", string.lower)