adminer database management in a single file

https://www.adminer.org/
I've thought for a long time that PhpMyAdmin was getting old. Here's an alternative.