Virtualmin 7 installer always installs Mariadb for all supported distros. MySQL was used on Ubuntu in the Virtualmin 6 installer (and Mariadb on RHEL-based distros).
Ok, maybe I was testing on a system with an older install. Anyway, this should be fixed now for all MySQL variants…