url/path_extension_utils library

Functions

pathChangeExtension(String path, String newExt) String
Returns path with its extension replaced by newExt.
pathExtension(String path) String
File extension / without extension / change extension. Roadmap #164–165. Audited: 2026-06-12 11:26 EDT
pathWithoutExtension(String path) String
Returns path with its trailing file extension (and the dot) removed.