PHP 특정 확장자 가진 파일만 추출해서 배열에 담기

$files2 = array(); 
for($i=0; $i<count($ary_ori);$i++) { 
  $ext = end(explode('.', $ary_ori[$i])); 
  if($ext == 'mp4') $files2[] = $ary_ori[$i]; 
}