>>/75/
He wouldn't need a script.
mysqldump was likely available in the server which would have exported the whole database to a file.

The question is whether it would be worth doing that since 99% of the information in the dump would already been public anyway.