improve breadcrumbs in file players
Merge remote-tracking branch 'upstream/master'
Administrator can edit user profiles.
Went too fast for the last commit. Put back the changeset.
Fixing wrong url.
GUI update
Use of undefined variable => use of plugin method getNamespace()
Added try/catch when creating widget
Merge branch 'master' of https://github.com/claroline/CoreBundle into issue-282-widget-workspace-list
Merge pull request #15 from solispauwels/master

Improve breadcrumbs in file players
Merge pull request #16 from maxailloud/master

Use of undefined variable => use of plugin method getNamespace()
Merge pull request #20 from kitan1982/issue-282-widget-workspace-list

Issue 282 widget workspace list [LAST]
Merge pull request #13 from ngodfraind/bugfix-user-role

Bugfix user role
Merge pull request #14 from ngodfraind/bugfix-edit-role-ws-name

Fixing wrong url.
Merge branch 'master' of https://github.com/claroline/CoreBundle

Conflicts:
	Library/Installation/AdditionalInstaller.php