Profile Log Extension
 Set the Profiler log filename extension.
──────────────────────────────────────────────────────────────────────────────

 This option allows you to set the default extension of the profiler log
 file.

   █▀▀ Profile Log File Extension ▀▀█
   █        Extension: PRF          █ 
   █▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄▄█ 
                                      

 Simply type in three letters to be used as the file extension for the
 Profile log file extension.