$order = array_map(function ($col) { return $col->seen; }, $users);
# $order = array_column($users, 'seen'); #TODO php7 simplification
array_multisort($order, SORT_DESC, SORT_NUMERIC, $users);
+ $users = array_intersect_key($users, array_filter($order));
}
if (isset($Place['n'])) {
# continue to default
default:
if ($user->admin) {
- $name .= ' <em>(beheerder)</em>';
+ $name .= ' <span class="icon admin" title="beheerder">🔧</span>';
}
+ $name = "<div>$name</div>";
}
print "<li>$name</li>\n";