def images_to_video(image_folder_path: str, fps, extension:str, video_name:str, output_format:str):
import os
import moviepy.video.io.ImageSequenceClip
images = [image_folder_path+'/'+img for img in os.listdir(image_folder_path) if img.endswith(extension)]
movie_clip = moviepy.video.io.ImageSequenceClip.ImageSequenceClip(images, fps)
movie_clip.write_videofile(video_name+output_format)