[phpMyAdmin News] phpMyAdmin 4.7.9 is released