[Phpmyadmin-devel] Re: [PATCH] Fix incorrect row count in db_details.php