Sharing: even if a user has more groups in common, he should appear only once in...

diff --git a/apps/files_sharing/ajax/userautocomplete.php b/apps/files_sharing/ajax/userautocomplete.php
index 99cc81bce04d15383b4b07ec72cac71febe92570..0e1bf6d588ec75f653c0f278b24cdefafc55db7d 100755 (executable)
--- a/apps/files_sharing/ajax/userautocomplete.php
+++ b/apps/files_sharing/ajax/userautocomplete.php
@@ -23,6 +23,7 @@ foreach ($userGroups as $group) {
                $groups[] = "<option value='".$group."(group)'>".$group." (group) </option>";
        }
 }
+$users = array_unique($users);
 $users[] = "</optgroup>";
 $groups[] = "</optgroup>";
 $users = array_merge($users, $groups);