Function FilePath.extension

Returns the file extension, if present, including the last dot.

string extension();