A direct mirror of the official moodle.git repository, please do not file PULL requests here, instead please use http://tracker.moodle.org