Welcome to phpMyAdmin 4.2.13, a bugfix version. This will be the last release in the 4.2 family (except for urgent fixes).