claroline/CoreBundle — pull request #458 by maxailloud (2014-03-27 08:27:32+00:00)
Title: New tool for viewing my badge on a workspace

Admin of a workspace can activate a tool for showing of the badge of each user.
This tool allow those user to see which badge they already earned and which badge they don't have yet.