Function: url-file-nondirectory

Return the nondirectory part of FILE, for a URL.