[phpMyAdmin Developers] Problems in setting up phpMyAdmin 4.0.10.20