Do not use RENAME INDEX syntax for MariaDB 10.0

Fixes #15931.
This will break when MySQL reach the 10.0 version. There is a way to know if the database is MariaDB?