[Phpmyadmin-devel] phpMyAdmin 2.5.0 released