My guess is that they have been using MySQL for a long, long time (possibly since the beginning)m, and see no need to migrate to something different. MariaDB is API-compatible with MySQL, so this migration will not involve much changes at the client side; it's mostly thorough testing that needs to be done.