Git commits in Moodle 3.1.12 by David Monllao

commit 8398fbe8b6f729254d26df5cf8f52f6db8885576
Author: David Monllao <davidm@moodle.com>
Date:   Tue, 15 May 2018 15:42:19 +0800
Tag:    v3.1.12

weekly release 3.1.11+