Returns the file extension portion of a path.
p = path.getextension("path")
path is the file system path to be split.
path
The file extension portion of the path, or an empty string if no extension is present.
Premake 4.0 or later.