[Phpmyadmin-devel] phpMyAdmin 4.3.7 is released