[Phpmyadmin-git] [phpmyadmin/phpmyadmin] fde42e: No need to have a distinct file