Manual rebase of mysqldump.php.

I'm doing the changes from the web interface.