$filename = $url.'video.mp4';
$ch = curl_init($filename);

curl_setopt($ch, CURLOPT_NOBODY, TRUE);
curl_exec($ch);

$ret = curl_getinfo($ch, CURLINFO_HTTP_CODE);
if ($ret >= '400')
{
	$filename = $url.'video.flv';
}

curl_close($ch);