Re: [phpMyAdmin Developers] require a specific PHP minor version?