Returns the file extension of path including the dot, or empty string.
path
String getExtension(String path) => splitPath(path).ext;