rem: const entityVersion = Components.interfaces.nsIEntityConverter.html40 | Components.interfaces.nsIEntityConverter.mathml20; 
add: const entityVersion = Components.interfaces.nsIEntityConverter.entityW3C; 
context: function unicodeToEntity(text){  const charTable = {    '&': "&amp;",    '<': "&lt;",    '>': "&gt;",    '"': "&quot;"  };  function charTableLookup(letter) {    return charTable[letter];  }  function convertEntity(letter) {    try {      return gEntityConverter.ConvertToEntity(letter, entityVersion);    } catch (ex) {      return letter;    }  }  if (!gEntityConverter) {    try {      gEntityConverter =        Components.classes["@mozilla.org/intl/entityconverter;1"]                  .createInstance(Components.interfaces.nsIEntityConverter);    } catch (ex) { }  }  const entityVersion =    Components.interfaces.nsIEntityConverter.html40 |    Components.interfaces.nsIEntityConverter.mathml20;  var str = text;  // replace chars in our charTable  str = str.replace(/[<>&"]/g, charTableLookup);  // replace chars > 0x7f via nsIEntityConverter  str = str.replace(/[^\0-\u007f]/g, convertEntity);  return str;}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/504ac4b45eb3b35b566451184835a221fde4c7f1/dom.js/buggy/extensions/inspector/resources/content/viewers/dom/dom.js