Another bugfix for php mysqldump