@@ -1757,7 +1757,7 @@ |
||
1757 | 1757 | } |
1758 | 1758 | |
1759 | 1759 | /** |
1760 | - * @param $user |
|
1760 | + * @param string $user |
|
1761 | 1761 | * @return Group[] |
1762 | 1762 | */ |
1763 | 1763 | private static function getGroupsForUser($user) { |