FileExtension

Extension of the file for saving location traces.

Important: This is a Public Preview API. It may be changed or removed at any time.