[Phpmyadmin-devel] dumps and php.ini

Hi, if php.ini contains: output_buffering = On output_handler ="ob_gzhandler" Then a dump transmitted to a file, and not asked to be compressed, will be always compressed. Should we work around this? Marc