[Phpmyadmin-git] [phpmyadmin/phpmyadmin] 7f977f: 4.2.7.1 release