Rename file to uuid.mp4

rename.php

<?php

$handle = fopen("/Volumes/WD/matched_video.txt", "r");
if ($handle) {
    while (($line = fgets($handle)) !== false) {
        // OK: 3d46074a-6502-4600-9816-88a16bf51ac9--------$filename
        $uuid = substr($line, 4, 36);
        $filename = substr($line, 48);
        $filename_without_extension = preg_replace('/\\.[^.\\s]{3,4}$/', '', $filename);
        if(rename("/Volumes/WD/final/".$uuid."/".$filename, "/Volumes/WD/final/".$uuid."/".$filename_without_extension.".mp4")){
            echo "OK: ".$uuid."\n\r";
        }else{
            echo "FAILED: ".$uuid."\n\r";
        }
    }

    fclose($handle);
} else {
    echo "Unable to read file";
}