[phpMyAdmin Developers] require a specific PHP minor version?