From 1e3b0a6b397fb5f3215eaaf79c570f0dbddd9d85 Mon Sep 17 00:00:00 2001
From: pena <pena@kumikode.org>
Date: Wed, 6 Apr 2022 01:43:48 +0200
Subject: [PATCH] add administration link in user dropdown menu if they're an
 admin

---
 src/template.eml.html | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/template.eml.html b/src/template.eml.html
index b1e8baf..c6d2617 100644
--- a/src/template.eml.html
+++ b/src/template.eml.html
@@ -52,6 +52,9 @@ let render_unsafe ~title ~content request =
                             <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="/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>
                             </ul>
                           </li>