[Phpmyadmin-devel] phpMyAdmin 3.1.3.1 and 2.11.9.5 are released