phpMyAdmin: fix MariaDB reported as MySQL