Add UI in settings to change ID Server #3300
dbkr
merged
27 commits into
develop
from
dbkr/change_is
Add UI in settings to change ID Server
c76514fc
lint
4075cdde
turt2live
commented
on 2019-08-09
nicer way to appease linter
417d9b6a
rerun i18n
1067457d
add the rest of the files
bf9caa7f
Actually appease linter
06905bc5
shorten url by default
bc66545f
Don't clear field on failure
10b19622
add comment
bc088e44
Remove the access token for the old IS
f358b616
c+p fail
4d33438a
turt2live
commented
on 2019-08-12
turt2live
commented
on 2019-08-12
turt2live
commented
on 2019-08-12
Correct license header
c732ae3a
write Identity Server out in full to be less confusing
934b7119
other general grammar
c36c3a9b
s/tooltip/tooltipContent/
860a9dbc
link to doc issue
7afaba3b
Make mixin for fields in settings that need to be the same width
e07c22a7
Merge remote-tracking branch 'origin/develop' into dbkr/change_is
e5f913bc
make it work again
02504b99
selector ordering
050766e7
Hack to ignore @define-mixin
7a924653
use accessiblebutton
31fd36ef
Use fetch instead of browser-request
2539da0d
unused import
596ff930
prefill id server box with default if there isn't one
c80c8dcf
Update 3pids section visibility when id server set / unset
7c35107a
rerun i18n
f8834953
jryans
approved these changes
on 2019-08-13
Login to write a write a comment.
Login via GitHub