file_get_contents로 파일 확장자를 얻는 방법

Question

url에서 내 서버로 비디오 파일을 업로드하고 싶습니다. 여기 내 코드가있다.

<?php 
    set_time_limit(0); 
    $file_name = "upload/myvideo.mp4"; 
    $video_file_url = "http://example.com/somevideo.mp4"; 
    file_put_contents($file_name, file_get_contents($video_file_url)); 
?> 

이제 문제는하고 .3gp 또는 .FLV,은 $ video_file_url이 .MP4 같은 비디오의 다른 유형을 포함합니다. 나는 file_get_contents와 $ file_name에서 파일 확장자를 얻는 법을 항상 모른다. 필자가 코드에서 언급 한 것과 같지 않을 수도있다.

이 파일을 tmpFile.tmp 이름으로 저장해야합니까? 다른 서버에서 복사 할 때 올바른 이름과 확장명으로 이름을 바꿉니 까?

Answer 1

이 funciton에게 mime_content_type

Answer 2

의 PathInfo()와 parse_url()를 시도 확장자를 얻기 위해 필요합니다. Download File to server from URL