Updated search
Merge branch 'arts' of https://github.com/brainysmurf/moodle into arts