From 559416dcae69e6ba959e232cb9c74f84ccc0f158 Mon Sep 17 00:00:00 2001 From: Travis Ralston Date: Tue, 14 May 2019 16:59:02 -0600 Subject: [PATCH] Show most homeserver options on the mobile guide This doesn't cover default_server_name because that pulls in a questionable amount of JS. See https://github.com/vector-im/riot-web/issues/9290 --- src/vector/mobile_guide/index.html | 21 ++++++++- src/vector/mobile_guide/index.js | 75 ++++++++++++++++++++++++++++-- 2 files changed, 90 insertions(+), 6 deletions(-) diff --git a/src/vector/mobile_guide/index.html b/src/vector/mobile_guide/index.html index b2b14df388..dc14c979b9 100644 --- a/src/vector/mobile_guide/index.html +++ b/src/vector/mobile_guide/index.html @@ -4,6 +4,11 @@