claroline/CoreBundle — pull request #322 by maxailloud (2014-01-24 13:51:34+00:00)
Title: Badge interface

Just some correction to the badge interface to make it better evrywhere, and to make all things the same on admin and on workspace.