rem: if (!(mimeInfo.primaryExtension in this._pluginTypeHash)) { var pluginType = new PluginType(aPluginEnabled, mimeInfo); this._pluginTypeHash[mimeInfo.primaryExtension] = pluginType; this._pluginTypes.push(pluginType); }      else {  var pluginType = this._pluginTypeHash[mimeInfo.primaryExtension]; pluginType.MIMETypes.push(mimeInfo.MIMEType); 
add: try { var primExt = mimeInfo.primaryExtension; } catch (e) { }  if (primExt) {  if (!(primExt in this._pluginTypeHash)) { var pluginType = new PluginType(aPluginEnabled, mimeInfo); this._pluginTypeHash[primExt] = pluginType; this._pluginTypes.push(pluginType); }      else {  var pluginType = this._pluginTypeHash[primExt]; pluginType.MIMETypes.push(mimeInfo.MIMEType); } 
context:   addType: function (aMIMEType, aPluginEnabled)  {    var mimeInfo = this.getMIMEInfoForType(aMIMEType);    if (mimeInfo) {      // We only want to show one entry per extension, even if several MIME      // types map to that extension, e.g. audio/wav, audio/x-wav. Hash the      // primary extension for the type to prevent duplicates. If we encounter      // a duplicate, record the additional MIME type so we know to deactivate      // support for it too if the user deactivates support for the extension.      if (!(mimeInfo.primaryExtension in this._pluginTypeHash)) {        var pluginType = new PluginType(aPluginEnabled, mimeInfo);        this._pluginTypeHash[mimeInfo.primaryExtension] = pluginType;        this._pluginTypes.push(pluginType);      }              // We check that the primary extension has already been hashed      // by a plugin that is installed in this build before adding a disable      // override to the list. Otherwise we might end up showing disabled      // plugin entries for plugins that actually aren't installed and configured      // in this build, but were for another build that was using this profile.      else {        // Append this MIME type to the list of MIME types for the extension.         var pluginType = this._pluginTypeHash[mimeInfo.primaryExtension];        pluginType.MIMETypes.push(mimeInfo.MIMEType);      }    }  },
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/497926a709bad85ef3d9d82c64730db386213e8b/plugins.js/buggy/browser/components/prefwindow/content/plugins.js