Einer von euch beiden stimmt nicht mit der Realität überein. Ich zweifle, dass es MySQL ist.
myPhpAdmin zeigt nicht die Art der Datenbank. Meine Programme melden MySQL-Vers.=[10.1.37-MariaDB-0+deb9u1]
Aber auch Maria macht's mal wie gewünscht und beim zweiten Mal eben nicht.