1. Сделать дамп нужных данных
2. Остановить и удалить MariaDb
3. Установить и запустить MySQL
https://dev.mysql.com/downloads/installer/
4. ...
5. Profit
P.S. Просто для общего развития: чем именно MySQL лучше MariaDb для человека, пользующегося готовыми сборками (XAMPP)?