[manual] Use the name instead of the domain for the user-visible realm identifier.

Do not push this commit to prod until the historical realm names have
been populated.

(imported from commit a58191d181d2fb2b8b5e9793ea57707b36812cfc)
This commit is contained in:
Jessica McKellar 2013-10-17 11:58:47 -04:00
parent 6dbf7613a1
commit a9c7f3a387
3 changed files with 4 additions and 3 deletions

View File

@ -112,7 +112,7 @@ exports.update_title_count = function (new_message_count) {
var n;
var new_title = (new_message_count ? ("(" + new_message_count + ") ") : "")
+ page_params.domain + " - Zulip";
+ page_params.realm_name + " - Zulip";
if (document.title === new_title) {
return;

View File

@ -8,8 +8,8 @@
<head>
<meta charset="UTF-8">
{% block title %}
{% if user_profile.realm.domain %}
<title>{{user_profile.realm.domain}} - Zulip</title>
{% if user_profile.realm.name %}
<title>{{user_profile.realm.name}} - Zulip</title>
{% else %}
<title>Zulip</title>
{% endif %}

View File

@ -712,6 +712,7 @@ def home(request):
fullname = user_profile.full_name,
email = user_profile.email,
domain = user_profile.realm.domain,
realm_name = user_profile.realm.name,
enter_sends = user_profile.enter_sends,
referrals = register_ret['referrals'],
realm_emoji = register_ret['realm_emoji'],