Update phpMyAdmin to 4.2.7.1