# Extract the XML tag name from a XML tag.
private fun xml_tag: String do
var tpl = new FlatBuffer
var pos = 1
if pos < length and self[1] == '/' then pos += 1
while pos < length - 1 and (self[pos].is_digit or self[pos].is_letter) do
tpl.add self[pos]
pos += 1
end
return tpl.write_to_string.to_lower
end
lib/markdown/markdown.nit:2543,2--2553,4