swrup/geochan
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

add administration link in user dropdown menu if they're an admin

Browse source
This commit is contained in:
zapashcanon 2022-04-06 01:43:48 +02:00
parent 2fee2a1d3d
commit 4eaf4810d5
No known key found for this signature in database
GPG key ID: 8981C3C62D1D28F1
1 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/template.eml.html
View file

@ -52,6 +52,9 @@ let render_unsafe ~title ~content request =
<ul class="dropdown-menu dropdown-menu-dark dropdown-menu-end" aria-labelledby="navbarDarkDropdownMenuLink"> <ul class="dropdown-menu dropdown-menu-dark dropdown-menu-end" aria-labelledby="navbarDarkDropdownMenuLink">
<li><a class="dropdown-item" href="/account">🧬 Account</a></li> <li><a class="dropdown-item" href="/account">🧬 Account</a></li>
<li><a class="dropdown-item" href="/profile">🦩 Your profile</a></li> <li><a class="dropdown-item" href="/profile">🦩 Your profile</a></li>
% begin if List.mem nick App.admins then
<li><a class="dropdown-item" href="/admin">🪄 Administration</a></li>
% end;
<li><a class="dropdown-item" href="/logout">❌ Sign out</a></li> <li><a class="dropdown-item" href="/logout">❌ Sign out</a></li>
</ul> </ul>
</li> </li>