message receiver name trimmed
Fixing resource manager search redirection.
Merge pull request #906 from ngodfraind/bugfixes

Fixing resource manager search redirection.
Reduces Role DB queries when rendering workspace tools list
Merge branch 'master' of https://github.com/claroline/CoreBundle into workspace-tool-list-role-upgrade
Merge pull request #907 from kitan1982/workspace-tool-list-role-upgrade

Reduces Role DB queries when rendering workspace tools list