--HG-- rename : security/manager/locales/en-US/chrome/pippki/pref-validation.dtd => security/manager/locales/en-US/chrome/pippki/validation.dtd