Add support for phpMyAdmin-4.2.7.1