now hiding administration from non administrators

This commit is contained in:
nek0 2016-08-27 13:59:03 +02:00
parent e31200e2e7
commit 947ab624b4

View file

@ -24,10 +24,12 @@
<li>
<a href=@{LogoutR}>
Logout
$maybe _ <- madmin
<li>
<a href=@{AdminR} .red>
Administration
$case madmin
$of Just admin
$if admin
<li>
<a href=@{AdminR} .red>
Administration
$nothing
<li>
<a href=@{LoginR}>