[phpMyAdmin Developers] Security announcement: phpMyAdmin 4.8.5 is released