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