def page_index() -> None:
# Redirect to mobile GUI if we are a mobile device and the index is requested
if is_mobile(request, response):
raise HTTPRedirect(makeuri(request, [], filename="mobile.py"))
title = get_page_heading()
content = html.render_iframe("", src=_get_start_url(), name="main")
SidebarRenderer().show(title, content)
def page_index():
# type: () -> None
title = config.get_page_heading()
content = html.render_iframe("", src=_get_start_url(), name="main")
SidebarRenderer().show(title, content)