manipulação e edição de vídeo

preciso de uma biblioteca de manipulação de vídeo, quero recortar minutos de um vídeo.

ou se tem em php alguma forma de fazer isso