main/phpmyadmin: upgrade to 4.2.10.1
main/gtk+3.0: upgrade to 3.14.4