file extension

Published on Tue Mar 01 2022

get the file extension of a given filename