Is there a php library to generate mov or avi movies from images and mp3's

I am trying to create a web application where users generate movies. They make the movies out of images and mp3's they upload.

The final result must be a movie file eg mp4/mov or avi.

In order to do this, I need a php library that creates movie from开发者_运维问答 these sources.

Does anyone know of one?

Look into phpvideotoolkit and ffmpeg-php

Among other things the description says...

assemble a video stream from a set of separate video images

http://code.google.com/p/phpvideotoolkit/

http://ffmpeg-php.sourceforge.net/

Yes you can, You should use ffmpeg or mencoder.

see this for example : http://electron.mit.edu/~gsteele/ffmpeg/

I don't think PHP is powerful enough to achieve that and I hope you realize that the load on the server would be insane.

Your best bet is to use server-side Java, or better yet, use a Java Applet, to keep the servers resources free.