claroline/CoreBundle — pull request #825 by maxailloud (2014-09-04 13:14:31+00:00)
Title: Users list for badge seeing

Just a list of the workspace/platform users to see which badge each user have.