rem: if (nodePlatforms.indexOf(platform) == -1) { 
add: if (nodePlatforms.split(/\s+/).indexOf(platform) == -1) { 
context: function filterSeqByPlatform(aDatasource, aNode, aCurrentLevel) {  // get nc:subheading children into an enumerator  var RDFC = Components.classes["@mozilla.org/rdf/container;1"]                       .createInstance(Components.interfaces.nsIRDFContainer);  RDFC.Init(aDatasource, aNode);  var targets = RDFC.GetElements();  // process items in the rdf:Seq  while (targets.hasMoreElements()) {    var currentTarget = targets.getNext();    // find out on which platforms this node is meaningful    var nodePlatforms = getAttribute(aDatasource,                                     currentTarget.QueryInterface(Components.interfaces.nsIRDFResource),                                     NC_PLATFORM,                                     platform);    if (nodePlatforms.indexOf(platform) == -1) { // node is for another platform      var currentNode = currentTarget.QueryInterface(Components.interfaces.nsIRDFNode);      // "false" because we don't want to renumber elements in the container      RDFC.RemoveElement(currentNode, false);      // move to next node - ignore the children, because 1) they might be      // needed elsewhere and 2) nodes not connected to RDF_ROOT are ignored      continue;    }    // filter any children    filterNodeByPlatform(aDatasource, currentTarget, aCurrentLevel+1);  }}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/a94d29f92e98f10b909eb2f5b86a209eeb001e2b/help.js/clean/toolkit/components/help/content/help.js