Python提取文件夹中特定类型文件的名称

def getFileName(Path_File,Type_File):
#欢迎使用，使用请注明来源，作者姜正，邮箱jiangzheng221@mails.ucas.ac.cn，中国科学院海洋所
    # Path_File是文件夹的路径，Type_File是文件的种类（Eg：‘.txt’）
    List_FileName=[]
    #List_FileName用来存储符合筛选条件的文件的名称
    List_AllFile = os.listdir(Path_File)
    #返回文件夹中所有文件的列表
    for i in range(len(List_AllFile)):
    #逐个文件循环
        if os.path.splitext(List_AllFile[i])[1] == Type_File:
        #如果第i个文件的类别是Type_File，则进入if
            List_FileName.append(List_AllFile[i])
            #存储第i个文件的名称
            #欢迎使用，使用请注明来源，作者姜正，邮箱jiangzheng221@mails.ucas.ac.cn，中国科学院海洋所
    return List_FileName