Add support for phpMyAdmin-4.2.4 and 4.2.5.