claroline/CoreBundle — pull request #515 by maxailloud (2014-04-10 14:04:28+00:00)
Title: Optimize user public profile url in updater for 2.12 version

From almost 1.5 hour to almost 7 minutes for executing this script.

Already up-to-date platform won't benefits it but next update for other platform will.

This optimization is very important for orange who aren't up-to-date but will soon be, isn't it @sleperf?