update phpMyAdmin 4.2.10 to 4.2.10.1