rem: if (getAttribute(helpFileDS, panelDef, NC_PLATFORM, platform) != platform) 
add:  var panelPlatforms = getAttribute(helpFileDS, panelDef, NC_PLATFORM, platform); panelPlatforms = panelPlatforms.split(/\s+/);  if (panelPlatforms.indexOf(platform) == -1) 
context: function loadHelpRDF() {  if (!helpFileDS) {    try {      helpFileDS = RDF.GetDataSourceBlocking(helpFileURI);    }    catch (e if (e.result == NSRESULT_RDF_SYNTAX_ERROR)) {      log("Help file: " + helpFileURI + " contains a syntax error.");    }    catch (e) {      log("Help file: " + helpFileURI + " was not found.");    }    try {      document.title = getAttribute(helpFileDS, RDF_ROOT, NC_TITLE, "");      helpBaseURI = getAttribute(helpFileDS, RDF_ROOT, NC_BASE, helpBaseURI);      defaultTopic = getAttribute(helpFileDS, RDF_ROOT, NC_DEFAULTTOPIC, "welcome");      var panelDefs = helpFileDS.GetTarget(RDF_ROOT, NC_PANELLIST, true);            RDFContainer.Init(helpFileDS, panelDefs);      var iterator = RDFContainer.GetElements();      while (iterator.hasMoreElements()) {        var panelDef = iterator.getNext();        if (getAttribute(helpFileDS, panelDef, NC_PLATFORM, platform) != platform)          continue; // ignore datasources for other platforms.        var panelID = getAttribute(helpFileDS, panelDef, NC_PANELID, null);        var datasources = getAttribute(helpFileDS, panelDef, NC_DATASOURCES, "rdf:null");        datasources = normalizeLinks(helpBaseURI, datasources);        // cache additional datsources to augment search datasources.        if (panelID == "search") {          emptySearchText = getAttribute(helpFileDS, panelDef, NC_EMPTY_SEARCH_TEXT, emptySearchText);          emptySearchLink = getAttribute(helpFileDS, panelDef, NC_EMPTY_SEARCH_LINK, emptySearchLink);          searchDatasources += " " + datasources;          continue; // but don't try to display them yet!        }          // cache toc datasources for use by ID lookup.        var tree = document.getElementById("help-" + panelID + "-panel");        loadDatabasesBlocking(datasources);        tree.setAttribute("datasources", tree.getAttribute("datasources") + " " + datasources);      }      }    catch (e) {      log(e + "");          }  }}
meta: 5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/5872/b17b3dc1020f0839d50e2c49235db2d4a73637b2/help.js/buggy/extensions/help/resources/content/help.js