Encode HTML in StringUtil::encodeJSON()