[Phpmyadmin-devel] phpMyAdmin 2.11.1.2 is released