i dont do it (well used to cuz i do it on flipnote on a dsi but come here to help others) i download the file as a gif, converty it into an mp4 file through an online converter, then if you have any sound i reccomend putting them into a video editing software like clipchamp ( what i use to edit) to combine the audio (optional) and the video together into one