diff --git a/security/manager/locales/en-US/chrome/pipnss/pipnss.properties b/security/manager/locales/en-US/chrome/pipnss/pipnss.properties index a2131ebe27b..524e679d12e 100644 --- a/security/manager/locales/en-US/chrome/pipnss/pipnss.properties +++ b/security/manager/locales/en-US/chrome/pipnss/pipnss.properties @@ -399,3 +399,5 @@ UserCertIgnoredNoPrivateKey=This personal certificate can't be installed because UserCertImported=Your personal certificate has been installed. You should keep a backup copy of this certificate. CertOrgUnknown=(Unknown) CertNotStored=(Not Stored) +CertExceptionPermanent=Permanent +CertExceptionTemporary=Temporary diff --git a/security/manager/locales/en-US/chrome/pippki/certManager.dtd b/security/manager/locales/en-US/chrome/pippki/certManager.dtd index 34807d96fcf..4b8353f4731 100644 --- a/security/manager/locales/en-US/chrome/pippki/certManager.dtd +++ b/security/manager/locales/en-US/chrome/pippki/certManager.dtd @@ -95,6 +95,7 @@ + @@ -142,3 +143,5 @@ + + diff --git a/security/manager/pki/resources/content/WebSitesOverlay.xul b/security/manager/pki/resources/content/WebSitesOverlay.xul index 552298b1e57..14bb661e0ce 100644 --- a/security/manager/pki/resources/content/WebSitesOverlay.xul +++ b/security/manager/pki/resources/content/WebSitesOverlay.xul @@ -59,6 +59,9 @@ + +