Hanno
swap phpMyAdmin/phpMyAdmin-old, they were mixed up
Hanno commited b1d11ed at 2018-07-30 20:20:32