[phpMyAdmin Developers] phpMyAdmin 4.8.0-rc1 is released