title: Is there a php library to generate mov or avi movies from images and mp3's
body: <p>I am trying to create a web application where users generate movies.
  They make the movies out of images and mp3's they upload.</p>
  
  <p>The final result must be a movie file eg mp4/mov or avi.</p>
  
  <p>In order to do this, I need a php library that creates movie from these sources.</p>
  
  <p>Does anyone know of one?</p>