[Phpmyadmin-git] [phpmyadmin/phpmyadmin] 80dec5: Fix bug#3922, user privileges, in QA_4_0