decode HTML escaped character references
807605Sep 13 2007 — edited Sep 14 2007sure, I can write
string.replace(" " , " ")
but obviously can't do that for all Unicode character references in the world, and surely this problem must be a routine library call .... but eh ... which? I don't seem to be able to find anything by googling.
thanks in advance