If you have a .flv version of the animations why not convert them into other format such as .mp4 you can play in iOS devices.
Using individual images png or gif is not such a great idea because of multiple http requests involved and the size of individual files
To do that, I would need a way to convert the sequences of PNG frames into an .mp4 file from within a PHP script. Do you know of any way to do that? I could also convert the .flv to .mp4, but it would need to be done within the script. There are thousands of existing animations that would need to be bot-converted too, I guess, unless they were done the first time someone viewed them. Any suggestions on an mp4 from flv or frames converter?
Also, I seem to remember from previous attempts that we could not get mp4 files to loop. Does anyone know if they will loop correctly?