[phpMyAdmin Developers] View pagination behavior - Is this a bug?