mirror of
https://github.com/vector-im/element-web.git
synced 2026-06-15 21:18:33 +00:00
8701e9293e
Either shows an informational dialog telling you the name has changed, or a more naggy one if the user needs to log in on a different URL. The new URL (if any) is hardcoded based on the current URL, and also with a bonus config param in case other deployments need to do similar.