update phpMyAdmin 4.2.3 to 4.2.4