[Phpmyadmin-devel] pls comment on bug #1415975 OPTIMIZE and REPAIR options missing