[Ur] XHTML character entities

[Adam Chlipala]

Karn Kallio wrote:
> On Wednesday, November 16, 2011 08:10:57 AM Adam Chlipala wrote:
>    
>> James Parker wrote:
>>      
>>> Sorry for taking so long to get back to you. Yes, it now parses and
>>> compiles "©". The only thing is Firefox 8 (OS X 10.7) adds an
>>> extra character before the copyright symbol. I have attached a
>>> screenshot.
>>>        
>> Weird.  Works fine in Chrome and Opera.  Right now, I'm compiling the
>> character entities into normal UTF-8, but perhaps it's necessary to
>> output them as character entities.  I'll look into it soon.  Thanks for
>> the bug report!
>>
>>      
> Attached patch including the character encoding with the response mime type
> seems to work for Firefox.
>    

Great, thanks!  I'm surprised Firefox (and at least some versions of IE) 
ignores the specification of UTF-8 in the XML document itself (first 
line), but I won't say no to a fix this simple. :)