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

'; echo '

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