login/list: mark admins by a wrench pictograph

Prevent line-wraps by saving at least 5em.

diff --git a/login/list.php b/login/list.php
index edf9ee63273a2f76a174e2c1140aaa7e35bafc69..2cf27d1f04c6db480346af1c1941520715482ad9 100644 (file)
--- a/login/list.php
+++ b/login/list.php
@@ -57,7 +57,7 @@ foreach ($users as $user) {
                # continue to default
        default:
                if ($user->admin) {
-                       $name .= ' <em>(beheerder)</em>';
+                       $name .= ' <span class="icon admin" title="beheerder">&#x1F527;</span>';
                }
        }