Use translation key when adding missing tools
Avoid superfluous queries when checking for missing tools
Fixed non visible desktop tools reordering
Disabled tool ordering icons when needed
Merge pull request #741 from stefk/tool-parameters-fixes

Tool parameters fixes
Merge pull request #740 from ngodfraind/bugfix

Error handling for workspace users/groups list.
Fixed workspace tool opening bug
Corrected translation
Fixed repository method
Used correct right check
Fixed remaining workspace access check
Improved dashboard navigation and added placeholders
Merge pull request #742 from stefk/tool-opening-fixes

Tool opening fixes + dashboard ui improvements
Added missing security check in log tool
Merge pull request #743 from stefk/log-security

Added missing security check in log tool
Fixed translations
Fixed workspace log filtering
Added missing translations
Merge branch 'master' of https://github.com/claroline/CoreBundle
Switched back to 'get' method... (pager issue)