New `file_extension()` function added