get rid of deprecated method `Platform::getName`; include MariaDB as a part of MySQLPlatform#120

janedbal merged 4 commits intoshipmonk-rnd:mastershipmonk-rnd/doctrine-mysql-index-hints:masterfrom

someson:mastersomeson/doctrine-mysql-index-hints:masterCopy head branch name to clipboard