[Phpmyadmin-git] [phpmyadmin/phpmyadmin] 7937cb: Complete the fix for bug #4418