[Phpmyadmin-news] phpMyAdmin 3.1.3.2 is released