extension method

String extension()

Get the extension of a file

Implementation

String extension() {
  return pathlib.extension(path);
}