[Phpmyadmin-devel] committing a patch to git