[phpMyAdmin Developers] phpMyAdmin 4.0.10.16, 4.4.15.7, and 4.6.3 are released