Fix topbar + tinymce + search by user in role tool.
Merge pull request #34 from ngodfraind/tinymce-res-picker

Fix topbar + tinymce + search by user in role tool.
Text resource gui update
GUI update
Fixes search boxes in the user tool.
Merge pull request #35 from solispauwels/master

Text resource (gui update)
Merge pull request #36 from ngodfraind/tinymce-res-picker

Fixes search boxes in the user tool.
Fix workspace top bar.
Merge pull request #37 from ngodfraind/fix-workspace-topbar

Fix workspace top bar.
Added a repository access function in ResourceManager
Merge branch 'master' of https://github.com/claroline/CoreBundle into tests-fix