Re: [Phpmyadmin-devel] git and $Id$ expansion