Re: [phpMyAdmin Developers] Server variables modification