[Phpmyadmin-devel] opinion on this phpMyAdmin patch