Update manager.php

defined $uid in getUserGroupIds
remotes/origin/fix-10825
macjohnny 11 years ago
parent 18c7c94b7a
commit c954168973
  1. 1
      lib/private/group/manager.php

@ -189,6 +189,7 @@ class Manager extends PublicEmitter {
* @return array with group names
*/
public function getUserGroupIds($user) {
$uid = $user->getUID();
if (isset($this->cachedUserGroups[$uid])) {
return array_keys($this->cachedUserGroups[$uid]);
}

Loading…
Cancel
Save