From 42039af9beb75f90f22fad213eafb0b5c39c71aa Mon Sep 17 00:00:00 2001 From: Mischa POSLAWSKY Date: Sat, 7 Jul 2018 21:23:29 +0200 Subject: [PATCH] login/list: mark admins by a wrench pictograph Prevent line-wraps by saving at least 5em. --- login/list.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/login/list.php b/login/list.php index edf9ee6..2cf27d1 100644 --- a/login/list.php +++ b/login/list.php @@ -57,7 +57,7 @@ foreach ($users as $user) { # continue to default default: if ($user->admin) { - $name .= ' (beheerder)'; + $name .= ' 🔧'; } } -- 2.30.0