[Phpmyadmin-devel] phpMyAdmin 4.1.12 is released