display a user's public signing key in settings if it exists

2017-03-24 14:26:36 +01:00
parent ba53b50e0b
commit 3e9eb03e5a
2 changed files with 14 additions and 0 deletions
--- a/customize.dist/translations/messages.js
+++ b/customize.dist/translations/messages.js
@@ -283,6 +283,7 @@ define(function () {
    out.settings_userFeedback = "Enable user feedback";

    out.settings_anonymous = "You are not logged in. Settings here are specific to this browser.";
+    out.settings_publicSigningKey = "Public Signing Key";

    // index.html