Re: [Phpmyadmin-devel] feature: mysqldiff