[SeijiSensei]

It is probably is referring to the codecs used to encode the audio and video, not the mp4 container format itself. That's just a guess, though, since I use Linux, mplayer, and GIMP to make animated GIFs.