/**
* @param \Claroline\CoreBundle\Entity\User $user
* @param string[] $roleNames
*
* @return integer[]
*/
public function getWorkspaceIdsByUserAndRoleNames(User $user, array $roleNames)
{
return $this->workspaceRepo->findIdsByUserAndRoleNames($user, $roleNames);
}
