Removed support for phpMyAdmin-4.2.8.1; now in Gentoo tree