[Phpmyadmin-devel] phpMyAdmin 4.3.12 is released