Do not html escape ' with '

reason: the named character reference ' (the apostrophe, U+0027) was introduced in XML 1.0 but does not appear in HTML. Authors should therefore use ' instead of ' to work as expected in HTML 4 user agents.
This commit is contained in:
2016-01-20 17:53:06 +01:00
parent d982bc06ad
commit 55ab6969ee

View File

@@ -61,7 +61,11 @@ feature -- Encoder
Result.extend (c) Result.extend (c)
when '%"' then Result.append_string (""") when '%"' then Result.append_string (""")
when '&' then Result.append_string ("&") when '&' then Result.append_string ("&")
when '%'' then Result.append_string ("'") when '%'' then Result.append_string ("'")
-- The named character reference ' (the apostrophe, U+0027)
-- was introduced in XML 1.0 but does not appear in HTML.
-- Authors should therefore use ' instead of '
-- to work as expected in HTML 4 user agents.
when '<' then Result.append_string ("&lt;") when '<' then Result.append_string ("&lt;")
when '>' then Result.append_string ("&gt;") when '>' then Result.append_string ("&gt;")
else else