[Phpmyadmin-devel] PMA_MYSQL_INT_VERSION and MariaDB

I'm having a little trouble testing for a particular version. It's easy to test for MySQL:

if (PMA_MYSQL_INT_VERSION < 50603) {

But I also need to test for MariaDB version 10.0.12. I don't see a constant PMA_MARIADB like there is PMA_DRIZZLE so I'm stuck on how to test for a specific MariaDB version. Any hints?