Merge branch 'MDL-32113-master-xmldbnumeric' of https://github.com/mudrd8mz/moodle
authorEloy Lafuente (stronk7) <stronk7@moodle.org>
Thu, 21 Dec 2017 21:43:26 +0000 (22:43 +0100)
committerEloy Lafuente (stronk7) <stronk7@moodle.org>
Thu, 21 Dec 2017 21:43:26 +0000 (22:43 +0100)

Trivial merge