paulmataruso/zulip
1
0
Fork 0
mirror of https://github.com/zulip/zulip.git synced 2025-11-10 00:46:03 +00:00
Code Issues Packages Projects Releases Wiki Activity

settings: Rename SERVER_URI to ROOT_DOMAIN_URI.

Browse Source 
This should be a lot less confusing.

See #6013 for discussion.
This commit is contained in:
Tim Abbott
2017-08-28 14:01:18 -07:00
parent 659bff1ffb
commit a0a1fe1512
19 changed files with 30 additions and 30 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
tools/lib/capitalization.py
View File

@@ -69,7 +69,7 @@ IGNORED_PHRASES = [
'<a href="/#streams">Streams page</a>.'),
(r'Looking for our '
'<a href="/integrations" target="_blank">Integrations</a> or '
'<a href="{{ server_uri }}/api" target="_blank">API</a> '
'<a href="{{ root_domain_uri }}/api" target="_blank">API</a> '
'documentation?'),
r'Most stream administration is done on the <a href="/#streams">Streams page</a>.',
r"one or more people...",