rem: prefs = Components.classes["@mozilla.org/preferences;1"].getService(nsIPref); 
add: prefService = Components.classes["@mozilla.org/preferences-service;1"].getService(nsIPrefService); prefBranch = prefService.getBranch(null); 
context: function onLoad(){  crlManager = Components.classes[nsCRLManager].getService(nsICRLManager);  var pkiParams = window.arguments[0].QueryInterface(nsIPKIParamBlock);    var isupport = pkiParams.getISupportAtIndex(1);  crl = isupport.QueryInterface(nsICRLInfo);  autoupdateEnabledString    = autoupdateEnabledString + crl.nameInDb;  autoupdateTimeTypeString  = autoupdateTimeTypeString + crl.nameInDb;  autoupdateTimeString      = autoupdateTimeString + crl.nameInDb;  autoupdateDayCntString    = autoupdateDayCntString + crl.nameInDb;  autoupdateFreqCntString   = autoupdateFreqCntString + crl.nameInDb;  autoupdateURLString       = autoupdateURLString + crl.nameInDb;  autoupdateErrCntString    = autoupdateErrCntString + crl.nameInDb;  autoupdateErrDetailString = autoupdateErrDetailString + crl.nameInDb;  bundle = srGetStrBundle("chrome://pippki/locale/pippki.properties");  prefs = Components.classes["@mozilla.org/preferences;1"].getService(nsIPref);  updateTypeRadio = document.getElementById("autoUpdateType");  enabledCheckBox = document.getElementById("enableCheckBox");  timeBasedRadio = document.getElementById("timeBasedRadio");  freqBasedRadio = document.getElementById("freqBasedRadio");  //Read the existing prefs, if any  initializeSelection();}
meta: 9421	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/9421/20c1620040885ba8fd7aeebe4013a8d5bdc7a3a2/pref-crlupdate.js/clean/security/manager/pki/resources/content/pref-crlupdate.js