[phpMyAdmin Developers] phpMyAdmin 4.0.10.17, 4.4.15.8, and 4.6.4 are released