David Baker c76514fceb Add UI in settings to change ID Server
Just changes the current ID server being used

To come in subsequent PRs:
 * Store this in account data
 * Check for terms or support the proper UI for accepting terms when setting
 * Support disconnecting

Part 1 of https://github.com/vector-im/riot-web/issues/10094
Requires https://github.com/matrix-org/matrix-js-sdk/pull/1013
2019-08-09 18:07:58 +01:00
..
2019-07-11 13:14:20 +01:00
2019-07-10 16:56:40 +01:00
2018-10-27 11:06:52 +01:00
2019-07-10 16:56:40 +01:00