[#2531] Documented dumpFile
Merge pull request #2592 from WouterJ/issue_2531

Documented dumpFile