Re: [Phpmyadmin-devel] small bug in db_stats