function get_file_extension(file_path_or_name) {
	return file_path_or_name.match(/\.([^./]+)$/)?.[1] || "";
}
does NOT accept a file extension itself as input - if input does not have a dot, returns empty string
@param {string} file_path_or_name  path or name of a file
@returns {string}  file extension without the dot