Add support for phpMyAdmin-4.2.12 and -4.3.0_rc1