Add support for phpMyAdmin 4.2.3