[Phpmyadmin-devel] phpMyAdmin 2.5.7-pl1 is released