$myVideoDir = '/videos'; 
 $extension = 'mp4'; 
 $videoFile = false; 
 foreach(scandir($myVideoDir) as $item) { 
 if ( $item != '..' && $item != '.' && !is_dir($item) ) { 
 $ext = preg_replace('#^.*\.([a-zA-Z0-9]+)$#', '$1', $item); 
 if ( $ext == $extension ) 
 $videoFile = $item; 
 } 
 } 
  
 if ( !!$videoFile ) { 
 echo ' 
 <video id="dep" class="center" width="900" height="720" controls> 
 <source src="'.$myVideoDir.'/'.$videoFile.'" type="video/mp4"> 
 </video> 
 '; 
 }