Add support for phpMyAdmin-4.2.13.1 and -4.3.0_rc2