main/phpmyadmin: upgrade to 4.2.9