fileext

Returns the file extension of a given file path.

  fileext(path)

The file extension starts with and includes a dot. The file extension is only considered present in the basename of the path, i.e. after the last path separator. Added in version 7.00.1352510000 20121109.