从一个标准 url 里取出文件的扩展名