Re: [Phpmyadmin-devel] Misc changes in lib.inc.php3