Re: [Phpmyadmin-devel] server_privileges refactoring