[phpMyAdmin Developers] phpMyAdmin 4.5.1 and 4.4.15.1 are released