rem: .getService(Components.interfaces.nsIChromeRegistry); 
add: .getService(Components.interfaces.nsIChromeRegistry);  try { oldTheme = !chromeRegistry.checkThemeVersion(themeName.getAttribute("name")); } catch(e) { oldTheme = false; }   if (oldTheme) { var promptService = Components.classes["@mozilla.org/embedcomp/prompt-service;1"].getService(Components.interfaces.nsIPromptService); var title = gNavigatorBundle.getString("oldthemetitle"); var message = gNavigatorBundle.getString("oldTheme");  message = message.replace(/%theme_name%/, themeName.getAttribute("displayName")); message = message.replace(/%brand%/g, gBrandBundle.getString("brandShortName"));  if (promptService.confirm(window, title, message)){  var inUse = chromeRegistry.isSkinSelected(themeName.getAttribute("name"), true);  chromeRegistry.uninstallSkin( themeName.getAttribute("name"), true );  if (inUse) chromeRegistry.refreshSkins(); }  return; } 
context: function applyTheme(themeName){  var chromeRegistry = Components.classes["@mozilla.org/chrome/chrome-registry;1"]                                 .getService(Components.interfaces.nsIChromeRegistry);  chromeRegistry.selectSkin(themeName.getAttribute("name"), true);  chromeRegistry.refreshSkins();}
meta: 8395	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8395/144e96385a8d6bdd78aa31685f9d3fc55ea10cfd/navigator.js/clean/suite/browser/navigator.js