Re: [Phpmyadmin-devel] PMA_MYSQL_INT_VERSION and MariaDB