rem: document.getElementById("permTab").hidden = true; 
add: permTab.hidden = true; 
context: function onLoadPermission(){  gPrefs = Components.classes[PREFERENCES_CONTRACTID]                     .getService(Components.interfaces.nsIPrefBranch2);  var uri = gDocument.documentURIObject;  if(/^https?/.test(uri.scheme)) {    gPermURI = uri;    var hostText = document.getElementById("hostText");    hostText.value = gPermURI.host;    for (var i in gPermObj)      initRow(i);    var os = Components.classes["@mozilla.org/observer-service;1"]                       .getService(Components.interfaces.nsIObserverService);    os.addObserver(permissionObserver, "perm-changed", false);    onUnloadRegistry.push(onUnloadPermission);  }  else    document.getElementById("permTab").hidden = true;}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/8395/4398f99eeab163c9a6fec72486a7fd7e2d30ceb6/permissions.js/buggy/browser/base/content/pageinfo/permissions.js