= get_string('page.dashboard') ?>
= get_user_display_name($_SESSION['id']) ?>
= format_bcid($_SESSION['id']) ?>
= get_string('idcard.joined', ['date' => $user['created_date']]) ?>
= get_string('page.profile') ?>
= get_string('page.settings') ?>
= get_string('auth.signout') ?>