Video files are recorded using the h.264 codec and the MP4 file type.