[Phpmyadmin-git] [phpmyadmin/phpmyadmin] 98d42b: Give preference to a page having same name as the ...