Admin dashboard'; } echo '

' . get_string("header.hello", ['display_name' => get_user_display_name($_SESSION['id'])]) . '

'; echo '' . get_string('page.dashboard') . ''; echo '

'; } else { echo '' . get_string("auth.signup") . ' '. get_string("auth.login") . ''; } ?>