zulip

Author	SHA1	Message	Date
Tim Abbott	126171cb76	api: Remove root_domain_uri from API page links. These pages should be references the current server's UI anyway.	2017-08-28 14:13:37 -07:00
Tim Abbott	a0a1fe1512	settings: Rename SERVER_URI to ROOT_DOMAIN_URI. This should be a lot less confusing. See #6013 for discussion.	2017-08-28 14:09:28 -07:00
Umair Khan	90ee06bd89	capitalization: Make it easier to ignore phrases. This commit allows us to add the errors shown by the tools/check-capitalization in the IGNORED_PHRASES list without any modification.	2017-03-10 11:21:49 -08:00
Tim Abbott	c5cae34512	tools: Fix test-capitalization dependence on Django. This was a totally unnecessary dependency, and actually broke test-tools.	2017-03-09 20:21:13 -08:00
Umair Khan	83dd901ecf	Add capitalization checker tool. Initial rules significantly by modified by tabbott, who also added the hacky list of excludes that the tool can't handle correctly yet. Fixes: #3899.	2017-03-09 00:44:57 -08:00