Pour compléter la réponse j'ai eu cette difficulté et pour le résoudre j'ai du changer le nom de l'extension dans le config.inc.php du répertoire phpmyadmin<version>/:
j'avais ceci :...