GUI update for user resource rights
Merge branch 'master' of https://github.com/claroline/CoreBundle into user-resource-rights
Merge pull request #879 from kitan1982/user-resource-rights

User resource rights GUI update
Fixes workspace tabs rename bug
Merge pull request #880 from kitan1982/rename-workspace-hometab-bugfix

Fixes workspace tabs rename bug
No notification on resource for ROLE_ANONYMOUS and ROLE_USER
Merge branch 'master' of https://github.com/claroline/CoreBundle