[Phpmyadmin-git] [phpmyadmin/phpmyadmin] 2e9738: Improved library file name