EXPORT

Export to a file.

This requires the export-filename property to be set.