[Phpmyadmin-git] [phpmyadmin/phpmyadmin] ddf78c: Re-merge b3dbec1...9207203, changes got lost on or...