Add support for phpMyAdmin-4.2.12