Re: [PATCH] phpmyadmin: new addon phpmyadmin-4.0.10.12