Added phpMyAdmin 4.2.10.1.