Comment vérifier si une base de données est mysql ou mariadb ?

Puisque vous avez mentionné Lampp, cela signifie que vous avez Linux, Apache, MySQL, PHP et phpmyadmin. Utilisez cette commande pour voir ce qui est installé sur votre machine, Mysql ou mariadb.

dpkg -l | grep -e mysql-server -e mariadb-server

Si vous pouvez effectuer une requête :

SELECT VERSION();

J'ai testé sur un serveur mariadb et il montre :

5.5.60-MariaDB

Si vous pouvez effectuer une requête, je vous le suggère :

SHOW VARIABLES LIKE "%version%";

alors cherchez version_comment vous devriez voir quelque chose comme MariaDB Server OU MySQL Community Server (GPL)