claroline/CoreBundle — pull request #86 by ngodfraind (2013-10-14 12:45:16+00:00)
Title: Fixing resource manager search.

Fixes claroline/Claroline#237