[phpMyAdmin Developers] phpMyAdmin 4.5.3.1, 4.4.15.2 and 4.0.10.12 are released