[Phpmyadmin-git] [phpmyadmin/phpmyadmin] 91bd7e: Remove no longer needed doc name mappings