$io.getModificationTime

Get a files modification time.
Syntax
    $io{getModificationTime}{file_name}
    $io.getModificationTime{file_name}
DocumentationGet a files modification time.

    Parameters:
      getModificationTime, a flag to indicate that the modification time of the specified file is requested.
      file_name, the name of the file whos modification time is requested (see the note about the filename syntax at the end of this document).
    Returns:
      the requested modification time of the specified file.
Examples
GroupSpecial
Minimum required transaction-mode:READ=IO
Required scripting permission of the developerPERMISSION_FL_BASIC
Minimum parameters1
Maximum parameters 1