[Phpmyadmin-news] phpMyAdmin 2.5.1 released