doc: update to MariaDB 10.0.15