diff options
| author | macjohnny <estebanmarin@gmx.ch> | 2014-06-12 13:29:20 +0400 |
|---|---|---|
| committer | macjohnny <estebanmarin@gmx.ch> | 2014-06-12 13:29:20 +0400 |
| commit | e8e2e47e6891276a260d465a4ef50c8ddc2ad8ce (patch) | |
| tree | fdf5f6396223bd22875462545316a9c75c49de34 /lib/private/group | |
| parent | b1094cfe82ffeaddd4d0cc9f241427d5d1b88ad2 (diff) | |
Update manager.php
Diffstat (limited to 'lib/private/group')
| -rw-r--r-- | lib/private/group/manager.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/private/group/manager.php b/lib/private/group/manager.php index 150f4c18905..3613c7547bd 100644 --- a/lib/private/group/manager.php +++ b/lib/private/group/manager.php @@ -189,7 +189,7 @@ class Manager extends PublicEmitter { public function getUserGroupIds($user) { $groupIds = array(); foreach ($this->backends as $backend) { - $groupIds = array_merge($groupIds,$backend->getUserGroups($user->getUID())); + $groupIds = array_merge($groupIds, $backend->getUserGroups($user->getUID())); } return $groupIds; |