[Phpmyadmin-git] [phpmyadmin/phpmyadmin] 31d1ed: We don't need full git history of runkit