[phpMyAdmin Developers] phpMyAdmin 4.4.13.1 is released