Added workspaces list widget
Merge branch 'master' of https://github.com/claroline/CoreBundle into issue-282-widget-workspace-list
Finished template. Closes claroline/Claroline#282
Added workspace list widget update function
Administrator can edit user profiles.
Went too fast for the last commit. Put back the changeset.
Fixing wrong url.
Use of undefined variable => use of plugin method getNamespace()
Modification of the EventManager and the Log to work with PHP 5.3
Merge pull request #17 from ptsavdar/master

Modification of the EventManager and the Log to work with PHP 5.3
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.
Improve breadcrums in resource players (use session instead referer)
Merge remote-tracking branch 'upstream/master'