under my local kubuntu18 I installed adminer:
# sudo apt-get install adminer ... root@AtHome:~/Downloads# whereis adminer adminer: /etc/adminer /usr/share/admin
