$users[$col] = new User($userdir);
}
+if (@$Place['order'] == 'seen') {
+ $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);
+}
+
print '<ul';
if (@$Place['view'] == 'avatar') {
print ' class="gallery cat"';
$avatar, $name
);
break;
+ default:
+ if ($user->admin) {
+ $name .= ' <em>(beheerder)</em>';
+ }
}
print '<li>'.$name;