[Phpmyadmin-devel] phpMyAdmin 4.0.10.6, 4.1.14.7 and 4.2.12 are released