4.9.0: Merge pull request #1102 from claroline/improve-user-menu

ngodfraind released this 01 Apr 14:16

· 1636 commits to master since this release

a7ac2ae

CoreBundle

NEW

Tabs can be marked as favourite
New resource extension point

Bugfixes

Some minor fixes wich I won't list.

Assets 2