[phpMyAdmin Developers] phpMyAdmin 4.6.5.1 is released, fixing two small bugs with 4.6.5