[Phpmyadmin-devel] phpMyAdmin 4.0.10.4, 4.1.14.5 and 4.2.9.1 are released